Bash: Personaliser les touches de clavier
Vous pouvez configurer vos touches de clavier sous bash selon vos besoins
en créant un fichier .inputrc dans votre dossier home. Le mien
ressemble à ça:
set convert-meta Off
set output-meta On
Control-f: kill-word
DEL: delete-char
"\e[1~": beginning-of-line
"\e[4~": end-of-line
Ça laisse le bash accepter les caractères sur 8 bits,
utiliser ^F pour effacer le mot suivant, la touche SUPPR pour effacer le
caractère à droite du curseur et HOME et END pour se
déplacer en début et fin de ligne.
Pour une description plus minutieuse des configurations possibles que celles
décrites dans les pages de manuel de Bash, regardez la documentation de
readline. (cette documentation n'est pas incluse dans la documentation fournie
avec BeOS.)
Read this Tip in English here
Hier findest Du den Tip in Deutsch
Cette astuce est une contribution de Fredrik Roubert.
Site de l'auteur de cette astuce: http://www.efd.lth.se/~d95fr/.
Astuce traduite par: Jean de Pompignan, site Period.
Traduction
Française du Serveur BeTips © 2000 BeTrayer et équipe
|
