Outils du site


Historique des commandes

Pour retrouver l'historique des commandes et relancer rapidement une commande, utilisez le raccourci ctrl-R.

Vous devez avant tout l'avoir activé en ajoutant export HISTFILE=~/.history dans le fichier ~/.profile :

$ echo "export HISTFILE=~/.history" >> ~/.profile

Au prochain login, l'historique sera actif.