Le terminal garde tout en mémoire ?

Caille · Le 18/11/2020, à 15:42

Bonjour,

Je viens de constater que le terminal semble tout garder en mémoire.
J'ai utilisé la flèche vers le haut pour retrouver une ancienne commande, mais en allant plus loin j'ai retrouvé des commandes qui date de plusieurs mois.
Je pensais que toutes les commandes étaient effacées après arrêt du PC.
Il doit bien y avoir un fichier dans lequel ce trouve toutes ces commandes, mais avec quel nom et ou ce trouve-t-il ?

Je viens de trouver, c'est la commande "history", ma dernière ligne est "529" !

Cordialement.

Dernière modification par Caille (Le 18/11/2020, à 15:48)

alv37 · Le 18/11/2020, à 15:48

slt, toutes les commandes sont stocké dans un fichier nommé de la sorte:*_history.
Le nom va varié selon le shell que tu utilise, si tu utilise bash, ce sera .bash_history, si tu utilise zsh ce sera .zsh_history, etc...
Le fichier est situé dans ton home (en tant que fichier caché).

Vobul · Le 18/11/2020, à 15:50

Oui, c'est .bash_history dans ton $HOME (ou .histfile / .zsh_history pour zsh).

Perso je trouve que c'est une super feature. Même si je réinstalle mon système (lorsque je change d'ordi par exemple) je copie le fichier .histfile. J'ai même configuré mon zsh pour garder 100000 commandes en mémoire (avec des options pour ne pas répéter les commandes qui sont les mêmes bien sûr).

Tu ajoutes à ça une fish-like complétion et c'est le bonheur. Parfois il y a des commandes que je ne tape que très rarement et je suis bien content de les retrouver dans mon historique comme ça j'ai pas à chercher quels étaient les bons arguments etc.... Ça permet aussi de voir si tu as déjà effectué cette commande dans le passé.

Si tu ne veux pas ça, tu peux configurer bash pour ne pas garder l'historique, mais je ne te le recommande pas bien évidemment. À toi de voir.

Dernière modification par Vobul (Le 18/11/2020, à 15:54)

Caille · Le 18/11/2020, à 15:50

Bonjour alv37,

Je viens justement de modifier ma question, car j'ai tapé "history" dans le terminal

Merci pour ta réponse, je vais chercher le fichier, il s'appel bien ".bash_history" je suis sous Gnome.

Dernière modification par Caille (Le 18/11/2020, à 15:52)

Caille · Le 18/11/2020, à 16:16

Vobul a écrit :

Oui, c'est .bash_history dans ton $HOME (ou .histfile / .zsh_history pour zsh).
Perso je trouve que c'est une super feature. Même si je réinstalle mon système (lorsque je change d'ordi par exemple) je copie le fichier .histfile. J'ai même configuré mon zsh pour garder 100000 commandes en mémoire (avec des options pour ne pas répéter les commandes qui sont les mêmes bien sûr).
Tu ajoutes à ça une fish-like complétion et c'est le bonheur. Parfois il y a des commandes que je ne tape que très rarement et je suis bien content de les retrouver dans mon historique comme ça j'ai pas à chercher quels étaient les bons arguments etc.... Ça permet aussi de voir si tu as déjà effectué cette commande dans le passé.
https://i.imgur.com/LkxQoCX.gif
Si tu ne veux pas ça, tu peux configurer bash pour ne pas garder l'historique, mais je ne te le recommande pas bien évidemment. À toi de voir.

Bonjour Vobul,

Voici mon .bashrc

# for setting history length see HISTSIZE and HISTFILESIZE in bash(1)
HISTSIZE=1000
HISTFILESIZE=2000

Chez moi il semble réglé sur 1000, par contre il y en a un autre histfilesize réglé sur 2000 ?

J'ai exécuté cette ligne:

echo 'export HISTSIZE=1200' >> ~/.bashrc

Cela à ajouté en fin de fichier la ligne :
Il doit-être possible de modifier directement les lignes au dessus, sans exécuter cette commande.
De plus le fichier .bashrc peut-être modifié sans les droits administrateur, ce n'est pas risqué ?

Dernière modification par Caille (Le 18/11/2020, à 16:28)

Vobul · Le 18/11/2020, à 16:27

Caille a écrit :

Il doit-être possible de modifier directement les lignes au dessus !

Ah ben oui. Tu sais la plupart des fichiers sous GNU+Linux sont des fichiers texte, donc il te suffit de les ouvrir avec ton éditeur favoir et de les éditer !

Caille · Le 18/11/2020, à 16:29

Vobul a écrit :

Caille a écrit :
Il doit-être possible de modifier directement les lignes au dessus !
Ah ben oui. Tu sais la plupart des fichiers sous GNU+Linux sont des fichiers texte, donc il te suffit de les ouvrir avec ton éditeur favori et de les éditer !

Modifié sans aucun droit administrateur ?
Je viens de placer le fichier bashrc dans la corbeille pour voir, mon PC redémarre normalement, à quoi sert ce fichier ?
Il n'a même pas été recréé un démarrage suivant..

Dernière modification par Caille (Le 18/11/2020, à 16:37)

Vobul · Le 18/11/2020, à 16:54

En fait le .bashrc qui est dans ton home n'est pas du tout essentiel. Tout est expliqué ici : https://www.gnu.org/software/bash/manua … Files.html

Les fichiers .rc dans ton home te permettent d'avoir des configs associées à ton utilisateur qui possiblement étendent ou remplacent les configs dans /etc appliquées à tous les utilisateurs.

Ubuntu-fr

Navigation

Liens de recherche

Annonce

#1 Le 18/11/2020, à 15:42

Le terminal garde tout en mémoire ?

#2 Le 18/11/2020, à 15:48

Re : Le terminal garde tout en mémoire ?

#3 Le 18/11/2020, à 15:50

Re : Le terminal garde tout en mémoire ?

#4 Le 18/11/2020, à 15:50

Re : Le terminal garde tout en mémoire ?

#5 Le 18/11/2020, à 16:16

Re : Le terminal garde tout en mémoire ?

#6 Le 18/11/2020, à 16:27

Re : Le terminal garde tout en mémoire ?

#7 Le 18/11/2020, à 16:29

Re : Le terminal garde tout en mémoire ?

#8 Le 18/11/2020, à 16:54

Re : Le terminal garde tout en mémoire ?

Pied de page des forums