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
- 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