in

Comment lancer rapidement un shell Bash à partir de l’explorateur de fichiers de Windows 10

Lancez Bash sur Windows 10 et il s’ouvrira automatiquement dans le dossier d’accueil de votre compte UNIX. Plutôt que d’utiliser la commande cd pour passer à un autre dossier, vous pouvez lancer Bash directement à partir d’un dossier dans l’Explorateur de fichiers.

Vous pouvez le faire sans aucun piratage ni modification du registre. C’est juste caché. Mais si vous êtes prêt à plonger dans le registre, vous pouvez le rendre un peu plus pratique. Voici nos deux méthodes recommandées.

Mettre à jour: Si vous avez plusieurs environnements Linux installés, vous pouvez utiliser la commande wslconfig pour choisir l’environnement Linux par défaut qui apparaît lorsque vous exécutez le bash commander.

L’option facile: utiliser la barre d’adresse

Lorsque vous souhaitez lancer bash dans un dossier spécifique, accédez à ce dossier normalement dans l’Explorateur de fichiers. Cliquez sur la barre d’adresse dans ce dossier, tapez «bash» et appuyez sur Entrée.

Vous obtiendrez une fenêtre d’invite Bash centrée sur le dossier que vous avez sélectionné.

Par exemple, si vous tapez «bash» directement à la racine du lecteur C :, Bash s’ouvrira avec le répertoire /mnt/c choisi.

L’option du clic droit: ajouter une option de menu contextuel en modifiant le registre

Peut-être préférez-vous une option de menu contextuel comme l’option «Ouvrir la fenêtre de commande ici» qui apparaît lorsque vous maintenez la touche Maj enfoncée et cliquez avec le bouton droit de la souris dans un dossier dans l’Explorateur de fichiers.

Pour obtenir ce type de raccourci Bash, vous devrez modifier le registre et ajouter cette fonctionnalité vous-même. Si vous préférez ne pas le faire à la main, nous avons un fichier .reg rapide que vous pouvez exécuter ci-dessous.

Avertissement standard: l’Éditeur du Registre est un outil puissant et une mauvaise utilisation peut rendre votre système instable, voire inopérant. C’est un hack assez simple et tant que vous vous en tenez aux instructions, vous ne devriez pas avoir de problèmes. Cela dit, si vous n’avez jamais travaillé avec lui auparavant, pensez à lire comment utiliser l’Éditeur du Registre avant de commencer. Et sauvegardez définitivement le registre (et votre ordinateur!) Avant d’apporter des modifications.

Tout d’abord, ouvrez l’éditeur de registre en appuyant sur la touche Windows, en tapant «regedit» dans le menu Démarrer et en appuyant sur «Entrée».

Accédez à la clé suivante:

HKEY_CLASSES_ROOTDirectoryBackgroundshell

Cliquez avec le bouton droit sur la touche «shell» et sélectionnez Nouveau> Clé.

Nommez la clé «bash» ou quelque chose de similaire. Vous pouvez le nommer comme vous le souhaitez. Ce nom n’apparaît nulle part dans Windows et est simplement utilisé pour garder une trace de l’entrée dans le registre.

Sélectionnez «bash» (ou ce que vous avez nommé la clé) dans le volet gauche.

Double-cliquez sur «(Par défaut)» dans le volet droit et entrez le nom que vous souhaitez voir apparaître dans le menu contextuel de l’Explorateur de fichiers. Par exemple, vous pouvez entrer «Ouvrir un shell Bash ici» ou simplement «Bash».

Ensuite, cliquez avec le bouton droit sur la clé «bash» et sélectionnez Nouveau> Clé.

Nommez-le «commande».

Avec la touche «commande» sélectionnée dans le volet de gauche, double-cliquez sur «(Par défaut)» dans le volet de droite et saisissez la valeur suivante:

C:WindowsSystem32bash.exe

Vous avez terminé. Vous pouvez maintenant cliquer avec le bouton droit sur un dossier dans l’Explorateur de fichiers et sélectionner «Ouvrir un shell Bash ici» (ou ce que vous avez nommé l’option) pour ouvrir rapidement un shell Bash dans ce dossier spécifique. Cette option apparaîtra immédiatement, vous n’avez donc pas à vous déconnecter ou à redémarrer au préalable.

Utilisez notre hack de registre en un clic

Plutôt que de faire tout le travail d’édition du registre ci-dessus, vous pouvez télécharger notre fichier .reg en un clic. Il fait exactement la même chose que le hack de registre ci-dessus. Si vous décidez de supprimer l’option, nous avons également inclus un fichier .reg en un clic qui supprimera rapidement l’option.

Téléchargez notre hack de registre «Ajouter Bash au menu contextuel» en un clic et décompressez le fichier. Double-cliquez sur le fichier «Ajouter Bash à votre menu contextuel.reg» et acceptez d’ajouter les informations à votre registre pour obtenir l’option de menu contextuel. Double-cliquez sur le fichier «Supprimer Bash de votre menu contextuel.reg» si vous souhaitez supprimer l’option.

Vous ne devez ajouter que des fichiers de registre provenant de sources fiables. Si vous êtes curieux de savoir ce que fait un fichier .reg, vous pouvez cliquer dessus avec le bouton droit de la souris dans Windows et sélectionner «Modifier» pour inspecter le fichier .reg et voir exactement quelles informations il ajoutera ou supprimera de votre registre.

Laisser un commentaire

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

Ajouter le nettoyage de disque au menu contextuel d'un lecteur

Ajouter le nettoyage de disque au menu contextuel d’un lecteur

Comment rechercher des emoji et des GIF dans le clavier Gboard d'Android

Comment rechercher des emoji et des GIF dans le clavier Gboard d’Android