Bannière de NPC
  Trucs et Astuces pour BeOS -       Catégorie: Terminal
 

Accueil

Alertes
Applications
Audio et Vidéo
Divers
Interface
Matériel
Réseaux
Terminal
Tracker

Infos Serveur

 

 

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
 

 

BeArchives.com Banner Exchange Network