Installer Linux dans Windows 10.

ou plus précisément, installer les outils Linux pour les TPs Info .... sur Windows 10.

Des tutoriaux similaires se trouvent sur internet si nécessaire.

Il est possible d'installer Linux sur W10 pour travailler les TPs chez soi. La méthode présenté ici ne tient pas en compte de la sécurisation ce ces outils.

Tout d'abord, il est nécessaire d'activer le sous-système Linux pour W10 :

  1. Aller dans "Tous les paramètres" > "Applications" > "Applications et fonctionnalités"
  2. Cliquez sur l'option "Programmes et fonctionnalités" en haut à droite.
  3. Cliquez sur l'option Fonctionnalités facultatives.
  4. Cliquez sur "Activer ou désactiver des fonctionnalités Windows"
  5. Chercher et cocher "Sous‐système Windows pour Linux"
  6. Cliquer sur OK.
  7. Redémarrer

Les outils pour pouvoir utiliser Linux sont activés. On doit maintenant installer Linux (Ubuntu ici):

  1. Aller dans le Microsoft store
  2. chercher Ubuntu
  3. Choisir l'Application Ubuntu (sans numéro) de Canonical Group Limited.
  4. Cliquer sur Télécharger.
  5. Si vous n'avez pas de compte Microsoft, un message apparaît, cliquer sur non merci. Le logiciel se télécharge puis s'installe.
  6. Une fois installé, on lance Ubuntu.

Mise en route :

  1. On vient d'installer et lancer pour la première fois Ubuntu pour WSL. Il va prendre un certain temps avant de s'activer, patientez.
  2. Une fois activé, vous devez définir un Username et Password de sécurité.
  3. On a enfin notre terminal Ubuntu sous Windows :)
  4. On met à jour avec :
    sudo apt‐get update
    sudo apt‐get upgrade
  5. On installe gcc avec
    sudo apt‐get install gcc
  6. Si nécessaire (TP semestre 4), on installe liballegro4 et libTPinfo
  7. On est quasiment prêt

Le système que l'on vient d'installer ne peut pas créer de fenêtre graphique (installation minimale).On doit donc ajouter un logiciel pour gérer l'affichage (pour allegro ou tout autre logiciel graphique).

Ajout de la gestion de fenêtre graphique :

  1. On télécharge et installe donc sur W10 Xming
  2. Sur W10, on lance Xming qui va afficher une icône en bas à droite de l'écran (symbole X).
  3. On exécute dans le terminal :
    export DISPLAY=:0 (à chaque nouveau terminal Ubuntu)

On peut maintenant avoir des fenêtres graphiques.

Encore une dernière étape : Lier un répertoire de fichier sur W10 avec le système Linux pour pouvoir le modifier dans Windows ET dans le terminal Ubuntu:

  1. Créer un dossier Dans vos document (ou ailleurs) sur W10 nommé par exemple Linux_data.
  2. Dans le terminal on lie le répertoire avec :
    ln ‐s /mnt/c/Users/votre_nom_d_utilisateur/Documents/Linux_data/
    Linux « cache » votre disque dur C : dans /mnt/c/ auquel vous ajoutez le chemin d’accès à votre répertoire de travail (ici : Users/votre_nom_d_utilisateur/Documents/Linux_data/) qui peut être différent suivant votre installation.

Cela permet d'avoir accès dans votre terminal à un répertoire où tout ce qui se trouve à l’intérieur est modifiable par W10 et Linux.

On est maintenant capable de faire les TPs et afficher de beau graphiques, plus d’excuse.

Si vous souhaitez désactiver tous les outils après vos TPs, suivez les méthodes de désinstallation Ubuntu et Xming et désactivez WSL ("Sous‐système Windows pour Linux") pour revenir à votre installation originale.

Encore une fois ce tutoriel ne prend pas en compte la sécurité de l’installation.