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.