Linux

Vous trouverez ici les différents guides pour utiliser convenablement Linux

En Machine Virtuelle

Il s'agit de la solution employée dans la plupart des salles informatiques des Mines Saint-Etienne

Récupérer la machine virtuelle paramétrée “enseignement” :

Télécharger Virtual Box sur Edusoft : Virtual Box. Il vous faut la version 27/09/2019 16:03 <dir> 6.0.X

Télécharger le fichier de configuration de la Virtual Machine sur Edusoft : Ubuntu. Il vous faut la version 25/09/2019 11:47 3224403456 UBUNTU 18.04 190701.ova

Télécharger l'Extension Pack 6.0.X depuis Virtual Box

Installer la machine virtuelle paramétrée “enseignement” :

Lancer l’installation de Virtual Box. L'installation se fait toute seule, il n'y a rien à modifier (ne surtout pas décocher “Inscription des associations de fichier”).

Depuis Virtual Box :

Cliquer sur Importer

Aller chercher le fichier .ova que vous venez de télécharger

Importer sans changer les paramètres

La Virtual Machine est maintenant importée mais il faut la paramétrer.

Cliquer sur Fichier puis Paramètres

Sélectionner Extensions, puis ajouter une extension

Aller chercher le fichier téléchargé précédemment sur le site de Virtual Box

Installer l'extension

La machine est maintenant fonctionnelle. La première fois que vous la lancerez, il faut accepter le pare-feu Windows. Vous devez arriver dans un environnement connu en la lançant.

Pour vous connecter, il faut utiliser le comptre “mineste” dont le mot de passe est aussi “mineste”

Pour échanger des fichiers entre Windows et Linux il faut créer un dossier dans C:\Temp (à vérifier avec le message d'erreur au démarrage de la VM) Pour récupérer ces fichiers il faudra les enregistrer dans le dossier /misc/win sur Linux. Il est conseillé d'ajouter ce dossier aux marques-pages.

En Installation Dual Boot

Télécharger linux Ubuntu depuis edusoft ou Ubuntu

Création d'une clé USB bootable avec YUMI

Démarrage du PC sur la clé USB (via touches de menu et/ou configuration du bios)

Suivre l'assistant linux pour le paramétrage du disque dur (Ubuntu seul ou dualboot Windows/Ubuntu), du compte utilisateur, etc

En bash sur un environnement Windows10

- Faire clique droit sur l'icone Windows et cliquer sur Windows PowerShell(admin) - Taper Enable-WindowsOptionalFeature -Online -FeatureName Microsoft-Windows-Subsystem-Linux - Redémarrer votre ordinateur - Aller sur Microsoft Store et télécharger Ubuntu 18.04 LTS - Lancer Ubuntu et installer le - Choisir un nom et un mot de passe

Le mot de passe ne s'affiche pas, c'est normal !

- Faire cd /mnt/c/Users/NomdutilisateurWindows/ pour accéder à vos fichiers sous Windows