En fait, si vous exécutez Windows 10, vous n'avez même pas besoin de double démarrage!!!
Je suis un utilisateur de DOS (v. 3) et de Windows (v. 3.1) de longue date, et au milieu des années 90, je suis passé à l'utilisation exclusive de noyaux et de distros *nix. Aujourd'hui, j'exécute Linux à partir de Windows 10 en mode natif et j'ai configuré PowerShell pour qu'il accepte les commandes BASH. C'est vraiment le meilleur des deux mondes !
Check out the Microsoft Docs on the Windows Linux Subsystem for more here but, long story short, open PowerShell as an admin and put in the following command:
- Enable-WindowsOptionalFeature -Online -FeatureName Microsoft-Windows-Subsystem-Linux
To open PowerShell as an admin, hold the Windows key while pressing “x”, then Select “Windows PowerShell (Admin)”:
Une fois ce processus terminé, ouvrez le Microsoft Store et sélectionnez la distro Linux que vous souhaitez utiliser:
Puis, lancez votre nouvelle distro (depuis le magasin ou depuis le démarrage) ; vous verrez une console, la distro s'initialisera et vous pourrez la configurer. Pour plus d'informations à ce sujet, consultez cette page de Microsoft et consultez également la documentation install/bootstrap de la distro.
Chez, et profitez de la WSL ! !! ?