web-dev-qa-db-fra.com

Recherche dans l'historique des commandes précédentes avec PageUp dans 14.04

Je travaillais déjà avant (je crois que c'était le 15.10, j'ai récemment rétrogradé au 14.04 LTS).

Selon cet article , ce qui suit devrait fonctionner

~ $ cat ~/.inputrc 
"\e[A":history-search-backward
"\e[B":history-search-forward

Mais lorsque je sauvegarde ce .inputrc et que j’ouvre un nouveau terminal, taper PageUp ou PageDown n’imprime que le caractère tilde ~ dans le terminal, au lieu de faire la recherche.

Toute aide appréciée.

command-linebashsearch
11
Juicy

Essayez ceci dans ~/.inputrc

"\e[5~": history-search-backward   
"\e[6~": history-search-forward

et rouvrez le terminal.

12
EdiD

\e[A et \e[B sont en fait les flèches haut et bas. Pour tester la nature d'une clé, exécutez cat puis appuyez sur la touche:

$ cat
^[[A
^[[B

^[[5~
^[[6~

Ce sont ↑, ↓, Page Up et Page Down respectivement. Le ^[ signifie Esc, ou \e en termes de .inputrc.

Ainsi, si vous avez ajouté \e[A et \e[B, vous devriez pouvoir parcourir l'historique à l'aide des touches de direction. Pour Page Up et Page Down, utilisez \e[5~ et \e[6~.

7
muru