Documentation

http://doc.ubuntu-fr.org/terminal

Configuration

Complétion à partir de l’historique de commande

Editer le fichier /etc/inputrc, détenu par root.
gksudo gedit /etc/inputrc
Il faut décommentez les 2 lignes sous # alternate mappings for « page up » and « page down » to search the history   pour avoir une complétion à partir de l’historique de commandes.

Alias

Bibliothèque d’alias à mettre dans ~/.bash_aliases

Structure du fichier :

alias test='echo "il s'agit d'un test"'

Vider l’historique du terminal

history -c

Pour en savoir plus « help history ». Se trouve dans ~/.bash_history

Reprendre la main dans un terminal

Terminer la commande par &
ex « gedit & » (linux pratique essentiel n°3 p78)