La commande history

Je profite de mon dernier billet pour faire un petit rappel sur la commande history

La commande history est une commande shell qui permet d’avoir l’historique des dernières commandes tapées dans le terminal.

C’est de cette liste de commande dont dépend les touches HAUT et BAS lorsque vous appuyez dessus.

Lorsque l’on tape history on obtiens la liste des 500 dernières commandes tapées.

Ces commandes sont précédées d’un nombre, plus le nombre est grand plus la commande est récente.

Si on tape dans un terminal !X on exécutera la commande qui porte le numéro X dans l’historique.

Exemple:

Si on tape !! on exécutera la dernière commande de l’historique.

Exemple:

On peut aussi faire suivre le ! par le début de la commande

Exemple:

Dans cet exemple en tapant !echo je fait exécuter la dernière commande de l’historique qui commence par echo

Pour vider l’historique il faut faire:

history -c

Par defaut les 500 dernières commandes sont mémorisées, la variable qui gère ça est $HISTSIZE

si on met cette variable a 0 on empêche le mécanisme d’historique des commandes.

$HISTSIZE=0

pour le rendre permanent il faut mettre la commande dans ~/.bash_profile

$echo HISTSIZE=0 >> ~/.bash_profile

Il suffit de se reconnecter ou de taper

. ~/.bash_profile

pour que la modification prennent effet.