Inputrc réalise la configuration du clavier pour certaines situations. Ce fichier est le fichier de démarrage utilisé par readline - la bibliothèque relative aux entrées utilisée par Bash et la plupart des autres shells.
Pour plus d'informations, voir info bash -- Noeud: Readline Init file mais aussi info readline. Beaucoup de choses peuvent être faites avec ce seul fichier rc.
La suite est un exemple de /etc/inputrc avec des commentaires expliquant ce que font les différentes options.
Notez que les commentaires peuvent ne pas être sur la même ligne que les commandes dans inputrc.
# Début /etc/inputrc # S'assure que nous ne sortons pas tout sur une ligne set horizontal-scroll-mode Off # Active l'entrée 8bit set meta-flag On set input-meta On # Désactive la suppression du 8ème bit set convert-meta Off # Conserve le 8ème bit pour l'affichage set output-meta On # rien, visible ou audible set bell-style none # Toutes les indications ci-dessous font correspondre une séquence d'échappement # à une fonction readline spécifique "\eOd": backward-word "\eOc": forward-word # pour la console linux "\e[1~": beginning-of-line "\e[4~": end-of-line "\e[5~": beginning-of-history "\e[6~": end-of-history "\e[3~": delete-char "\e[2~": quoted-insert # pour xterm "\eOH": beginning-of-line "\eOF": end-of-line # Fin /etc/inputrc |
Des valeurs globales sont configurées dans /etc/inputrc. Les valeurs spécifiques aux utilisateurs vont dans ~/.inputrc. Ce fichier va écraser les valeurs globales. La page précédente demande à Bash d'utiliser par défaut /etc/inputrc. Si vous voulez que votre système utilise les deux, il serait une bonne idée de placer un .inputrc par défaut dans le répertoire /etc/skel pour qu'il puisse être utilisé par les nouveaux utilisateurs.
Précédent | Sommaire | Suivant |
Les fichiers de démarrage du shell Bash | Niveau supérieur | Génération de nombres aléatoires |