readline & séquence ESC : comment ça marche ?
bonjour,
je rencontre des différences de fonctionnement pour l'édition de la
ligne de commande du shell (bash)
parfois home/end/Ctrl-FlecheGauche fonctionne comme attendu, parfois
cela ne fait que des tilde ou autres symboles
ces différences apparaissent lorsque j'utilise le bash dans différents
contextes (rxvt, console linux, ssh via putty, ssh via cygwin ...)
j'ai compris, me semble t il, que les actions affectées aux touches sont
définies dans ~/.inputrc et utilisées par readline.
Chaque touche est défini par une séquence d'échappement ... et c'est là
que cela devient moins clair
Je crois comprendre que chaque terminal génère sa propre séquence ESC
pour une touche (ou combinaison de touches) données. Et ces séquences ne
sont pas forcément identiques selon le terminal.
Est ce parce qu'à l'origine les fabricants de terminaux faisaient leur
sauce chacun dans leur coin ?
Pour que readline fonctionne avec différents terminaux, il suffirait
donc que je mette des sections $if / $endif avec les paramètres
spécifiques ?
Les séquences ESC ne sont pas franchement très lisible :
par ex, [HOME] me donne ^[[1~
Y a t il un "dictionnaire" quelque part associant des noms symboliques
de touches aux séquences ESC ?
(comme XK_Home pour X11 par exemple)
Existe t il une commande affichant la correspondance <nom de la touche>
/ <séquence escape correspondante> ?
merci
Reply to: