Terminal : chercher dans l'historique
Dans un terminal Ubuntu, il est possible d'utiliser les touches PageUp et PageDn pour chercher dans l'historique des commandes et compléter la commande actuelle.
Pour activer cette fonction, il suffit de modifier le fichier /etc/inputrc et de décommenter les lignes 41 et 42:
"\e[5~": history-search-backward
"\e[6~": history-search-forward
