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

13

J'ai obtenu ce travail avant (je crois que c'était sur un 15.10, j'ai récemment rétrogradé au LTS 14.04).

Selon ce post, les éléments suivants devraient fonctionner

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

Mais lorsque j'enregistre cela .inputrcet ouvre un nouveau terminal, taper PageUp ou PageDown imprime simplement le caractère tilde ~dans le terminal, au lieu de faire la recherche.

Toute aide appréciée.

command-line bash search

— Juteux
source

15

Essayez ceci dans ~/.inputrc

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

et rouvrir le terminal.

— EdiD
source

8

\e[Aet \e[Bsont en fait les touches fléchées haut et bas. Pour tester ce qu'est une clé, exécutez catpuis appuyez sur la touche:

$ cat
^[[A
^[[B

^[[5~
^[[6~

Ce sont ↑, ↓, Page Upet Page Downrespectivement. Le ^[représente Escou \een termes de .inputrc.

Donc, si vous avez ajouté \e[Aet \e[B, vous devriez pouvoir parcourir l'historique à l'aide des touches fléchées. Pour Page Upet Page Down, utilisez \e[5~et \e[6~.

— muru
source

Hou la la! J'ai si souvent vu ces séquences d'échappement dans le terminal, me demandant ce qu'elles étaient. Même si je les utilise déjà par exemple. .inputrc, je n'ai jamais fait la connexion. Astuce très utile, merci.

— marlar