Exécutez Bash en tant qu'administrateur à partir du menu contextuel de Windows 10

La mise à jour anniversaire de Windows 10 a introduit l'intégration de Bash, une fonctionnalité phare de cette version. Cette nouveauté s'adresse avant tout aux développeurs, et non à l'utilisateur lambda. L'intégration de Bash facilite le développement d'applications sur la plateforme Windows. De plus, c'est un argument de poids pour encourager les développeurs à adopter Windows 10, car Bash n'est pas disponible nativement sur les versions antérieures de Windows. Il s'agit d'une fonctionnalité exclusive à Windows 10. Bash n'étant pas activé par défaut, contrairement à l'invite de commande, son installation est optionnelle. Pour exécuter Bash avec les privilèges administrateur directement depuis le menu contextuel et l'ouvrir dans n'importe quel dossier, une modification du registre est nécessaire. Voici la procédure à suivre.

Activer Bash sur Windows 10

Avant de pouvoir exécuter Bash en mode administrateur, vous devez vous assurer qu'il est installé. La démarche est simple : activez le mode développeur dans l'application Paramètres, sous l'onglet "Pour les développeurs". L'activation requiert des droits d'administrateur.

Une fois le mode développeur activé, ouvrez le Panneau de configuration, puis accédez à Programmes > Activer ou désactiver des fonctionnalités Windows. Dans la liste, sélectionnez "Sous-système Windows pour Linux".

Ouvrez l'invite de commande (avec les droits d'administrateur) et tapez "bash". Windows 10 téléchargera et installera Bash, une opération qui peut prendre entre 15 et 30 minutes.

Lancer Bash en tant qu'administrateur

Lancer Bash en mode administrateur est facile, mais cette option n'est pas proposée directement dans le menu contextuel accessible par un clic droit. Vous pouvez ouvrir l'application Bash via le menu Recherche Windows ou le menu Démarrer, mais il n'est pas possible de l'ouvrir directement dans un dossier spécifique.

Ouvrez l'Éditeur du Registre Windows. Tapez "regedit" dans la barre de recherche et lancez l'application avec les privilèges administrateur. Naviguez jusqu'à l'emplacement suivant :

HKEY_CLASSES_ROOTDirectoryshell

Créez une nouvelle sous-clé, que vous nommerez "AdminBash". Cette nouvelle clé possédera une valeur de chaîne par défaut. Double-cliquez sur cette valeur et modifiez-la comme suit :

Run Bash As Admin

Dans la clé "AdminBash" que vous venez de créer, créez une autre clé et nommez-la "Command". Comme précédemment, cette clé possède une valeur de chaîne par défaut. Double-cliquez dessus et modifiez sa valeur comme ceci :

powershell -c start -verb runas cmd '/c start /D """%V""" bash.exe'

Redémarrez l'explorateur Windows (Explorer.exe). Ensuite, effectuez un clic droit sur un dossier. L'option "Run Bash As Admin" devrait apparaître dans le menu contextuel. Windows PowerShell s'ouvrira et vous demandera votre mot de passe administrateur. Une fois le mot de passe correctement entré, Bash démarrera.

Mise en garde

Initialement, Bash ne pouvait pas ouvrir un dossier dont le nom contenait des espaces. Par exemple, vous pouviez utiliser cette option pour ouvrir un dossier nommé "Nom-de-Dossier" mais pas un dossier nommé "Nom de Dossier". En général, on contourne ce problème dans Bash en encadrant le nom du dossier de guillemets, ce que l'option de menu contextuel ne permettait pas. Cette astuce était donc limitée.

Grâce à un de nos lecteurs, Liandri, cette mise en garde est désormais obsolète. La valeur de la chaîne a été mise à jour dans la section précédente en suivant les suggestions d'un commentaire. Cette mise à jour a été testée et fonctionne parfaitement. L'astuce fonctionne désormais avec des dossiers contenant ou ne contenant pas des espaces dans leur nom.

Bash sous Windows 10 est disponible depuis la mise à jour anniversaire et les versions suivantes.