Terminal : Raccourcis clavier

Trucs et Astuces
#1

Pour l’édition de la ligne de commande,
l’interpréteur de commandes bash utilise la bibliothèque readline

1 J'aime
#2

et…?
ça répond à une question qui a disparu ?

#3

Bonsoir Watael

Ce n’est pas une réponse, c’est juste un message que j’ai posté dans la rubrique Trucs et Astuces

Je pense que les raccoucis listés dans la page web de readline pourront rendre pas mal de services à ceux qui utilisent le terminal.

#4 
$ bind -p | gawk -F':' 'BEGIN{PROCINFO["sorted_in"]="@ind_str_asc"}
NR>1 && ! /(^#|self-insert)/{
   if($2 in ar)ar[$2]=ar[$2]", "$1;
   else ar[$2]=$1}
END{for (i in ar)print "^[[32m"i" ^[[31m:^[[0m "ar[i]}'

edit:
ajout d’un peu de couleur :wink: