Installer un environnement Linux complet sous Windows 10 (Windows Services for Linux, WSL)
Article mis en ligne le 13 octobre 2020
dernière modification le 20 octobre 2020

par Laurent Bloch

Un article précédent expliquait comment faire ceci il y a quelques années, lorsque c’était compliqué, maintenant c’est beaucoup plus simple. Voici les étapes à suivre.

Cet article est destiné originellement aux étudiants des cours de bioinformatique du Cnam, afin qu’ils puissent travailler sous Linux (avec Emacs et Bigloo) à partir de leur système Windows, mais pour tout autre usage il suffit d’omettre les étapes 6 et 7.

Voici la procédure, à n’effectuer qu’une fois, pour installer et configurer le système :

1. Sous Windows, ouvrir le Panneau de configuration : aller dans Programmes et fonctionnalités, activer Sous-système Windows pour Linux (s’il n’est pas déjà activé). Il faut en général redémarrer la machine.

2. Ouvrir Windows Store : télécharger Ubuntu (444,5 MB ; il y a aussi Suse, Kali, Debian), c’est gratuit.

Solution alternative, on peut aussi télécharger Ubuntu en ligne de commande, dans une fenêtre d’invite de commande ou de PowerShell (attention, winget-cli n’est pas encore installé sous Windows en standard, il faut aller le récupérer sur GitHub, merci à David Legrand pour ces indications) :

  1. PS C:\Users\lb> winget search ubuntu
  2. Nom    ID               Version  Correspondance
  3. ------------------------------------------------
  4. Ubuntu Canonical.Ubuntu 20.04    Moniker: ubuntu
  5. PS C:\Users\lb> winget install ubuntu
  6. Found Ubuntu [Canonical.Ubuntu]
  7. ...

Télécharger

3. L’icône Ubuntu apparaît, lancer Ubuntu.

4. Une fenêtre de terminal s’ouvre et propose de créer un compte utilisateur. Créer le compte utilisateur avec le nom de votre choix.

5. Dans la fenêtre de terminal Ubuntu, lancer la mise à jour :

  1. sudo apt-get update ; sudo apt-get dist-upgrade

6. Pour pouvoir installer Biglooo, dans la fenêtre de terminal Ubuntu :

  1. sudo apt-get install emacs gcc binutils diffutils libunistring2 make automake autogen
  2. sudo apt-get install patch libtool flex bison libgmp10 libgmp3-dev libssl-dev rlwrap build-essential

Télécharger

7. Installer Biglooo, dans la fenêtre de terminal Ubuntu :

  1. mkdir -p Travaux/Programmation/Bigloo
  2. cd Travaux/Programmation/Bigloo
  3. wget ftp://ftp-sop.inria.fr/indes/fp/Bigloo/bigloo4.3g.tar.gz
  4. tar xvzf bigloo4.3g.tar.gz
  5. cd bigloo4.3g/
  6. ./configure
  7. make
  8. sudo make install
  9. make compile-bee
  10. sudo make install-bee

Télécharger

8. Pour avoir une interface graphique il faut installer, sous Windows, un serveur X, par exemple VcXsrv :

https://sourceforge.net/projects/vcxsrv/

9. Depuis le bureau Windows, lancer VcXsrv

10. Pour avoir une interface de bureau graphique, dans la fenêtre de terminal Ubuntu, installer Xfce (parce que c’est l’environnement de bureau le plus sobre, mais cela doit pouvoir marcher aussi avec Cinnamon) :

  1. sudo apt-get install xfce4 xfce4-terminal

11. Dans la fenêtre de terminal Ubuntu, lancer Xfce, si le nom de la machine est tsvetaeva par exemple (le nom de la machine s’affiche à l’invite de commande dans la fenêtre de terminal, et en principe VcXsrv a la gentillesse d’indiquer l’identifiant de “display” à utiliser) :

  1. xfce4-session --display=tsvetaeva:0.0

Une fois le système installé et configuré, pour le lancer il suffit d’exécuter les étapes 3, 5, 9 et 11.