Recherche dans l'historique du shell avec "page up" et "page down"

04-Aug-2010 | linux

Editer le fichier '/etc/inputrc' et décommenter les deux ligne suivantes :

# alternate mappings for "page up" and "page down" to search the history
"\e[5~": history-search-backward
"\e[6~": history-search-forward

C'est bien pratique (à la place du ctrl+r)...