in

Comment ignorer la casse lors de l’utilisation de la complétion d’onglets dans le terminal Linux

La ligne de commande sous Linux est sensible à la casse. Lorsque vous utilisez la saisie semi-automatique pour modifier ou répertorier rapidement des répertoires sur la ligne de commande, vous devez faire correspondre la casse des noms de répertoire. Cependant, il existe un moyen de rendre la complétion par tabulation insensible à la casse.

La complétion par tabulation rend plus rapide et plus facile la saisie des noms de répertoires sur la ligne de commande. Vous pouvez simplement commencer à taper le début du nom du répertoire à l’invite, puis appuyer sur Tab pour que le reste du nom du répertoire soit automatiquement saisi. Par exemple, pour accéder au répertoire Documents, commencez simplement à taper cd Docu puis appuyez sur Tab. Il se complétera automatiquement pour cd Documents/ .

Vous pouvez rendre cette fonctionnalité insensible à la casse en ajoutant un paramètre au fichier .inputrc de Linux. Ce fichier gère les mappages de clavier pour des situations spécifiques sur la ligne de commande (ou le shell bash) et vous permet de personnaliser le comportement de la ligne de commande. Il est très facile d’ajouter ce paramètre et nous vous montrerons comment.

Il existe deux fichiers .inputrc: un fichier global qui s’applique à tous les utilisateurs du système ( /etc/.inputrc ), et un local dans le répertoire de base de l’utilisateur actuel qui s’applique uniquement à cet utilisateur ( ~/.inputrc ). Le caractère ~ représente le répertoire personnel, tel que / home / lori /. Le fichier .inputrc local remplace le fichier global, ce qui signifie que tous les paramètres que vous ajoutez au fichier local seront utilisés malgré le contenu du fichier global. Nous allons ajouter le paramètre insensible à la casse à notre compte local dans notre exemple, mais vous pouvez le faire dans les deux cas.

Nous allons utiliser un éditeur de texte appelé gedit pour ajouter le paramètre au fichier .inputrc. Appuyez sur Ctrl + Alt + T pour ouvrir le terminal. Ensuite, pour modifier le fichier .inputrc local, tapez la commande suivante à l’invite et appuyez sur Entrée.

gksu gedit ~/.inputrc

Si vous souhaitez modifier le fichier .inputrc global, tapez la commande suivante à la place.

gksu gedit /etc/.inputrc

Si vous n’avez pas de fichier .inputrc, cette commande en créera un dans votre répertoire personnel ou dans le répertoire / etc automatiquement.

Une boîte de dialogue s’affiche vous demandant votre mot de passe, alors entrez le mot de passe que vous utilisez pour vous connecter à votre compte et cliquez sur «OK».

Le fichier .inputrc est peut-être vide, et c’est très bien. Pour que l’achèvement des tabulations ignore la casse, ajoutez la ligne suivante au fichier:

set completion-ignore-case on

Cliquez sur «Enregistrer».

Pour fermer gedit, cliquez sur le bouton «X» dans le coin supérieur gauche.

Le paramètre que vous venez d’ajouter au fichier .inputrc n’affectera pas la session actuelle de la fenêtre Terminal. Vous devez fermer la fenêtre Terminal et l’ouvrir à nouveau pour que la modification prenne effet. Alors, tapez exit à l’invite et appuyez sur Entrée ou cliquez sur le bouton «X» dans le coin supérieur gauche de la fenêtre.

REMARQUE: certains avertissements peuvent s’afficher, comme indiqué ci-dessous, mais ils n’affectent pas ce que nous faisons avec le fichier.

Maintenant, par exemple, lorsque vous tapez cd docu et appuyez sur Tab…

… La complétion des onglets fonctionnera même si le cas ne correspond pas au nom du répertoire.

Si vous souhaitez revenir au paramètre sensible à la casse par défaut pour l’achèvement de l’onglet, ouvrez simplement le même fichier .inputrc auquel vous avez ajouté le paramètre, supprimez la ligne que vous avez ajoutée, puis enregistrez et fermez le fichier. N’oubliez pas de fermer la fenêtre Terminal et de la rouvrir après avoir modifié le fichier .inputrc.

Laisser un commentaire

Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont indiqués avec *

Comment protéger vos comptes

Comment protéger vos comptes

Qu’est-ce que le dossier «Mode Dieu» dans Windows 10 et comment l’activer?