Une dernière chose avec le clavier:
Actuellement je ne peux pas utiliser les touches "home" et "fin" dans gnome-terminal pour début et fin de ligne. J'ai bien vu l'utilisation de "beginning-of-line dans .inputrc, mais j'ai l'impression que ca ne résoudra pas le problème. En effet, lorsque j'utilise ces touches actuellement, elles ont le même comportement que "page up" et "page down" => ces touches n'envoient pas une suite de caractères en entrée du terminal, j'ai plutot l'impression que les évènements sont traités par gnome, donc là j'ai plus trop d'idées... je vais voir avec rxvt ou xterm des fois que...
Partager