iweb visitor

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Next revision Both sides next revision
teaching:infoh304 [2017/10/06 11:32]
jroland [Machine virtuelle pour le cours INFOH304]
teaching:infoh304 [2018/09/13 11:33]
jroland [Machine virtuelle pour le cours INFOH304]
Line 5: Line 5:
 ====== Machine virtuelle pour le cours INFOH304====== ====== Machine virtuelle pour le cours INFOH304======
 <​html>​ <​html>​
 +
 <​h1>​Qu'​est-ce qu'une machine virtuelle?</​h1>​ <​h1>​Qu'​est-ce qu'une machine virtuelle?</​h1>​
 <​p>​Une machine virtuelle est une simulation (ou plus exactement une émulation) d'un ordinateur par un autre ordinateur. En installant par exemple Linux sur une machine virtuelle émulée par votre ordinateur Windows, vous pourrez alors accéder à un système Linux dans une fenêtre du système Windows. Dans ce cas, la machine virtuelle Linux est appelée "​invitée"​ (guest), et la machine réelle Windows "​hôte"​ (host).</​p>​ <​p>​Une machine virtuelle est une simulation (ou plus exactement une émulation) d'un ordinateur par un autre ordinateur. En installant par exemple Linux sur une machine virtuelle émulée par votre ordinateur Windows, vous pourrez alors accéder à un système Linux dans une fenêtre du système Windows. Dans ce cas, la machine virtuelle Linux est appelée "​invitée"​ (guest), et la machine réelle Windows "​hôte"​ (host).</​p>​
Line 22: Line 23:
 <​li>​Assurez-vous d'​avoir au moins 10Go de libre sur votre disque dur <​li>​Assurez-vous d'​avoir au moins 10Go de libre sur votre disque dur
 </li> </li>
-<​li>​Téléchargez et installez l'​outil de virtualisation <a href="​https://​www.virtualbox.org/​wiki/​Download_Old_Builds_5_0" target="​_blank"​<1>​VirtualBox</​a>​, <​b>​version 5.0.16</​b>​ +<​li>​Téléchargez et installez l'​outil de virtualisation <a href="​https://​www.virtualbox.org"​ target="​_blank">​VirtualBox</​a><​ul>​ 
-<​ul>​ +<​li><​a href="https://www.virtualbox.org/​wiki/Downloads" target="​_blank">​Virtualbox</a>&​nbsp;​(Windows/Mac/Linux)</​li>​ 
-<​li><​a href="http://download.virtualbox.org/​virtualbox/5.0.16/​VirtualBox-5.0.16-105871-Win.exe" target="​_blank">​VirtualBox 5.0.16 pour Windows</a></li> +<​li>​Remarque: ​La machine virtuelle est configurée pour la version 5.2.18si vous installez une version différente vous devrez réinstaller les "Additions Invité" ​(voir plus bas) pour profiter ​de toutes les fonctionnalités</li>
-<​li><​a href="​http://​download.virtualbox.org/​virtualbox/​5.0.16/​VirtualBox-5.0.16-105871-OSX.dmg"​ target="​_blank">​VirtualBox 5.0.16 pour Mac OS</a></​li>​ +
-<​li>​Remarque: ​les versions plus récentes sont déconseillées car elles ne supportent pas certaines fonctions d'​intégration entre l'​hôte et l'​invitécomme le "glisser-déposer" de fichiers</li>+
 </ul> </ul>
 </li> </li>
Line 59: Line 58:
 </ul> </ul>
  
-<h2>Je n'​arrive pas à installer la version recommandée de VirtualBox</​h2>​ +<h2>Installation des "​Additions Invité"​</​h2>​ 
-<p>Si vous avez des problèmes avec la version ​5.0.16 ​de VirtualBox, ​vous pouvez essayer d'​installer ​la dernière ​version: <a href="​https://​www.virtualbox.org/​wiki/​Downloads"​ target="​_blank">​Télécharger ​VirtualBox</​a>​.</​p>​ +<p>La machine virtuelle a été configurée pour la dernière ​version de VirtualBox ​disponible au début de l'​année académiquesoit la version ​5.2.18. Si vous installez une version différente (ou mettez à jour VirtualBox ​suite à la parution d'une nouvelle version), vous perdrez certaines options d'​intégration entre la machine hôte et la machine invitée (dossiers partagés, copier-coller de texte et glisser-déposer de fichiers d'une machine à l'​autre). Pour les récupérer,​ suivez les instructions suivantes:</​p>​
- +
-<​p>​Attention, vous perdrez certaines options d'​intégration entre la machine hôte et la machine invitée (dossiers partagés, copier-coller de texte et glisser-déposer de fichiers d'une machine à l'​autre). Pour les récupérer ​au moins partiellement, suivez les instructions suivantes:</​p>​+
 <ul> <ul>
 <​li>​Dans la barre d'​outils de VirtualBox, cliquez sur "​Périphériques"​ puis "​Insérer l'​image CD des Additions Invité"</​li>​ <​li>​Dans la barre d'​outils de VirtualBox, cliquez sur "​Périphériques"​ puis "​Insérer l'​image CD des Additions Invité"</​li>​
 <​li>​Via la fenêtre qui s'​ouvre dans la machine virtuelle, autorisez l'​exécution automatique en cliquant sur "​Valider"​ puis "​Lancer"</​li>​ <​li>​Via la fenêtre qui s'​ouvre dans la machine virtuelle, autorisez l'​exécution automatique en cliquant sur "​Valider"​ puis "​Lancer"</​li>​
 <​li>​Entrez le mot de passe "​ulb"</​li>​ <​li>​Entrez le mot de passe "​ulb"</​li>​
-<​li>​Attendez la fin de l'​installation et redémarrez la machine virtuelle</​li>​ +<​li>​Attendez la fin de l'​installation et redémarrez la machine virtuelle</​li></​ul>​
-</ul+
- +
-<p>Le glisser-déposer de fichier pose problème avec les versions récentes de VirtualBox: les fichiers ne se retrouvent pas dans le dossier où ils ont été déposés, mais dans le dossier /​tmp/​VirtualBox\ Dropped\ Files/. Si vous voulez néanmoins utiliser cette fonction une solution est de créer un raccourci vers ce dossier sur le bureau.</​p>+
  
 <​h2>​J'​ai pu installer VirtualBox mais la machine virtuelle plante ou ralentit fortement l'​ordinateur</​h2>​ <​h2>​J'​ai pu installer VirtualBox mais la machine virtuelle plante ou ralentit fortement l'​ordinateur</​h2>​
Line 82: Line 76:
 <ul> <ul>
 <​li>​Le plus simple est d'​ouvrir une fenêtre Firefox dans la machine virtuelle pour accéder à l'​université virtuelle (des signets ont déjà été créés) et télécharger directement les fichiers dans la machine virtuelle</​li>​ <​li>​Le plus simple est d'​ouvrir une fenêtre Firefox dans la machine virtuelle pour accéder à l'​université virtuelle (des signets ont déjà été créés) et télécharger directement les fichiers dans la machine virtuelle</​li>​
-<​li>​Vous pouvez effectuer un "​glisser-déposer"​ d'un fichier depuis une fenêtre de la machine hôte vers une fenêtre de la machine invitée ​(attentioncomme indiqué ci-dessus cette fonction n'​est ​pas bien supportée dans les dernières version de VirtualBox)</​li>​+<​li>​Vous pouvez effectuer un "​glisser-déposer"​ d'un fichier depuis une fenêtre de la machine hôte vers une fenêtre de la machine invitée. Attentionsuite à un bug il se peut que les fichiers ne se retrouvent ​pas à l'​endroit où vous les avez déposés mais dans le dossier "/tmp/VirtualBox ​Dropped Files" (un lien vers ce dossier est présent sur le bureau de la machine virtuelle)</​li>​
 <​li>​Vous pouvez créer un dossier partagé pour accéder directement à un dossier de la machine hôte depuis la machine invitée (voir ci-dessous)</​li>​ <​li>​Vous pouvez créer un dossier partagé pour accéder directement à un dossier de la machine hôte depuis la machine invitée (voir ci-dessous)</​li>​
 </ul> </ul>
-</ol>+
  
 <​h2>​Mon clavier n'est pas bien configuré</​h2>​ <​h2>​Mon clavier n'est pas bien configuré</​h2>​
 <​p>​Par défaut, la machine est configurée pour un clavier AZERTY belge. Si votre clavier a une agencement différent des touches, vous pouvez le reconfigurer de la manière suivante:</​p>​ <​p>​Par défaut, la machine est configurée pour un clavier AZERTY belge. Si votre clavier a une agencement différent des touches, vous pouvez le reconfigurer de la manière suivante:</​p>​
 <ul> <ul>
-<​li>​Cliquez sur menu en bas à gauche, puis "​Centre de contrôle"​ (en-dessous de "​Système"​), puis "​Clavier"​ (dans le menu "Hardware"</​li>​ +<​li>​Cliquez sur menu en bas à gauche, puis "Paramètres système - Centre de contrôle"​ (troisième icône du menu à gauche ​en partant du haut), puis "​Clavier"​ (dans le menu "Matériel"</​li>​ 
-<​li>​Dans l'​onglet "​Agencements",​ cliquez sur "Ajouter", sélectionnez l'​agencement correspondant à votre clavier et cliquez sur "​Ajouter"</​li>​+<​li>​Dans l'​onglet "​Agencements",​ cliquez sur le "+", sélectionnez l'​agencement correspondant à votre clavier et cliquez sur "​Ajouter"</​li>​
 <​li>​En cliquant en bas à droite de l'​écran (à côté de l'​heure) sur "​be",​ vous pouvez passer d'un agencement à l'​autre</​li>​ <​li>​En cliquant en bas à droite de l'​écran (à côté de l'​heure) sur "​be",​ vous pouvez passer d'un agencement à l'​autre</​li>​
-<​li>​Si le nouvel agencement est correct, vous pouvez supprimer l'​agencement "​Belge"​ pour éviter qu'il ne soit sélectionné.</li>+<​li>​Si le nouvel agencement est correct, vous pouvez supprimer l'​agencement "​Belge"​ pour éviter qu'il ne soit sélectionné</​li>​
 </ul> </ul>
 Clavier Mac: Clavier Mac:
 <ul> <ul>
-<​li>​Certains caractères ne sont pas présents sur un clavier AZERTY Mac, comme les accolades.</li>+<​li>​Certains caractères ne sont pas présents sur un clavier AZERTY Mac, comme les accolades</​li>​
 <​li>​Vous pouvez les taper en combinant la touche "​alt-option"​ de droite avec d'​autres touches, par exemple "​alt-ç"​ pour "​{"​ (voir <a href="​https://​fr.wikipedia.org/​wiki/​AZERTY#/​media/​File:​Belgian_pc_keyboard.svg"​ target="​_blank">​ici</​a>​ pour tous les caractères disponibles) <​li>​Vous pouvez les taper en combinant la touche "​alt-option"​ de droite avec d'​autres touches, par exemple "​alt-ç"​ pour "​{"​ (voir <a href="​https://​fr.wikipedia.org/​wiki/​AZERTY#/​media/​File:​Belgian_pc_keyboard.svg"​ target="​_blank">​ici</​a>​ pour tous les caractères disponibles)
 </​li></​ul>​ </​li></​ul>​
Line 107: Line 101:
 <​li>​Cliquez sur l'​icône "​+"​ à droite</​li>​ <​li>​Cliquez sur l'​icône "​+"​ à droite</​li>​
 <​li>​Dans "​Chemin du dossier",​ choisissez le dossier de la machine hôte que vous voulez partager avec la machine virtuelle</​li>​ <​li>​Dans "​Chemin du dossier",​ choisissez le dossier de la machine hôte que vous voulez partager avec la machine virtuelle</​li>​
-<li>Dans "Nom du dossier", tapez "​share"</​li>​ +<li>Cochez les options ​"Montage automatique" ​et "​Configuration permanente"</​li>​
-<​li>​Cochez l'​option ​"​Configuration permanente" ​(ne cochez pas "​Montage automatique"​)</li>+
 <​li>​Cliquez sur "​OK",​ puis encore "​OK"</​li>​ <​li>​Cliquez sur "​OK",​ puis encore "​OK"</​li>​
 </ol> </ol>
-<p>Le lien "Dossier Partagé" sur le bureau de la machine virtuelle vous donne alors accès au dossier de la machine hôte.</p>+<p>Au prochain démarrage de la machine virtuelle, votre dossier partagé sera disponible au chemin ​"/​media/​sf_nom_du_dossier" ​(un lien apparaîtra ​sur le bureau de la machine virtuelle). Notez que vous pouvez créer plusieurs dossiers partagés via cette méthode.</p>
  
 <​h2>​Accès aux fichiers de votre compte ULB</​h2>​ <​h2>​Accès aux fichiers de votre compte ULB</​h2>​
Line 121: Line 114:
 <​li>​Entrez votre mot de passe</​li>​ <​li>​Entrez votre mot de passe</​li>​
 </ol> </ol>
-<p>Le lien "​Dossier ULB" créé sur le bureau vous donne alors accès aux fichiers de votre compte ULB.</p>+<p>Le lien "​Dossier ULB" créé sur le bureau vous donne alors accès aux fichiers de votre compte ULB (en pratique, celui-ci correspond au chemin "/​media/​ULB/​votre_login_ulb"​)</p>
 <​p>​Pour changer de compte ULB (en cas de partage de votre machine virtuelle avec un autre étudiant), il suffit de répéter la procédure avec un autre nom d'​utilisateur.</​p>​ <​p>​Pour changer de compte ULB (en cas de partage de votre machine virtuelle avec un autre étudiant), il suffit de répéter la procédure avec un autre nom d'​utilisateur.</​p>​
 <​p>​Attention:​ Pour configurer et utiliser l'​accès à votre compte ULB, votre ordinateur doit bien-sûr être connecté à internet.</​p>​ <​p>​Attention:​ Pour configurer et utiliser l'​accès à votre compte ULB, votre ordinateur doit bien-sûr être connecté à internet.</​p>​
Line 148: Line 141:
 <​h2>​Intégration entre la machine hôte et la machine virtuelle</​h2>​ <​h2>​Intégration entre la machine hôte et la machine virtuelle</​h2>​
 <ul> <ul>
-<​li>​Vous pouvez transférer des fichiers de la machine hôte vers la machine virtuelle en faisant un "​glisser-déposer"​ avec la souris d'une fenêtre vers l'​autre (comme vous le feriez entre deux fenêtres de la machine hôte).</​li>​+<​li>​Vous pouvez transférer des fichiers de la machine hôte vers la machine virtuelle en faisant un "​glisser-déposer"​ avec la souris d'une fenêtre vers l'​autre (comme vous le feriez entre deux fenêtres de la machine hôte). Attention: suite à un bug il se peut que les fichiers transférés depuis la machine hôte vers la machine virtuelle ne se retrouvent pas à l'​endroit où vous les avez déposés mais dans le dossier "/​tmp/​VirtualBox Dropped Files" (un lien vers ce dossier est présent sur le bureau de la machine virtuelle).</​li>​
 <​li>​Vous pouvez aussi "​copier-coller"​ du texte d'une machine à l'​autre,​ les "​presse-papiers"​ étant synchronisés.</​li>​ <​li>​Vous pouvez aussi "​copier-coller"​ du texte d'une machine à l'​autre,​ les "​presse-papiers"​ étant synchronisés.</​li>​
 </ul> </ul>
Line 154: Line 147:
 <​h2>​Utilisation avancée</​h2>​ <​h2>​Utilisation avancée</​h2>​
 <ul> <ul>
-<​li>​Dans la machine virtuelle, le dossier ULB correspond au chemin "/mnt/ULB", et le dossier partagé ​de la machine hôte au chemin "/mnt/share"​.</​li>​+<​li>​Dans la machine virtuelle, le dossier ULB correspond au chemin "/media/ULB", et le dossiers partagés ​de la machine hôte au chemin "/media/sf_nom_du_dossier"​.</​li>​
 <​li>​Le nom d'​utilisateur de la machine virtuelle est "​student"​ et le mot de passe "​ulb"​. Cet utilisateur a les droits administrateurs et peut donc utiliser la commande sudo. Ne l'​utilisez que si vous savez ce que vous faites!</​li>​ <​li>​Le nom d'​utilisateur de la machine virtuelle est "​student"​ et le mot de passe "​ulb"​. Cet utilisateur a les droits administrateurs et peut donc utiliser la commande sudo. Ne l'​utilisez que si vous savez ce que vous faites!</​li>​
 </ul> </ul>
Line 168: Line 161:
 <​li>​Vérifiez que votre Windows 10 est à jour <​li>​Vérifiez que votre Windows 10 est à jour
 <ul> <ul>
-<​li>​Menu Windows -Paramètres (icône "​Engrenage"​) -Système -Information Système</​li>​+<​li>​Menu Windows -&​gt; ​Paramètres (icône "​Engrenage"​) -&​gt; ​Système -&​gt; ​Information Système</​li>​
 </ul> </ul>
 </li> </li>
 <​li>​Si la version est antérieure à 1607 (juillet 2016), mettez votre système à jour <​li>​Si la version est antérieure à 1607 (juillet 2016), mettez votre système à jour
 <ul> <ul>
-<​li>​Menu Windows -Paramètres (icône "​Engrenage"​) -Mise à jour et sécurité -Rechercher des mises à jour</​li>​+<​li>​Menu Windows -&​gt; ​Paramètres (icône "​Engrenage"​) -&​gt; ​Mise à jour et sécurité -&​gt; ​Rechercher des mises à jour</​li>​
 </ul> </ul>
 </li> </li>
 <​li>​Installer le sous-système Windows pour Linux <​li>​Installer le sous-système Windows pour Linux
 <ul> <ul>
-<​li>​Menu Windows -Paramètres (icône "​Engrenage"​) -Mise à jour et sécurité -Pour les développeurs -Cochez "Mode développeur"</​li>​ +<​li>​Menu Windows -&​gt; ​Paramètres (icône "​Engrenage"​) -&​gt; ​Mise à jour et sécurité -&​gt; ​Pour les développeurs -&​gt; ​Cochez "Mode développeur"</​li>​ 
-<​li>​Barre de recherche (icône "​Loupe"​) -Recherchez "​Panneau de configuration"​ -Programmes -Programmes et fonctionnalités -Activer ou désactiver des fonctionnalités de Windows -Sous-système Windows pour Linux (bêta) ​-> Redémarrez</​li>​ +<​li>​Barre de recherche (icône "​Loupe"​) -&​gt; ​Recherchez "​Panneau de configuration"​ -&​gt; ​Programmes -&​gt; ​Programmes et fonctionnalités -&​gt; ​Activer ou désactiver des fonctionnalités de Windows -&​gt; ​Sous-système Windows pour Linux (bêta)</​li>​ 
-<​li>​Barre de recherche (icône "​Loupe"​) -Recherchez "​bash"​ -Tapez "​o"</​li>​+<li> Redémarrez ​votre ordinateur</​li>​ 
 +<​li>​Barre de recherche (icône "​Loupe"​) -&​gt; ​Recherchez "​bash"​ -&​gt; ​Tapez "​o"</​li>​
 </ul> </ul>
 </li> </li>
 <li> Lancez "Bash on Ubuntu on Windows"​ et installez les paquets nécessaires <li> Lancez "Bash on Ubuntu on Windows"​ et installez les paquets nécessaires
 <ul> <ul>
-<​li>​Barre de recherche (icône "​Loupe"​) -Recherchez "Bash on Ubuntu on Windows"</​li>​ +<​li>​Barre de recherche (icône "​Loupe"​) -&​gt; ​Recherchez "Bash on Ubuntu on Windows"</​li>​ 
-<li> Tapez les commandes suivantes dans le terminal:<​br/+<li> Tapez les commandes suivantes dans le terminal:<​br>​ 
-apt-get update<​br/+apt-get update<​br>​ 
-apt-get upgrade<​br/+apt-get upgrade<​br>​ 
-apt-get install build-essential+apt-get install build-essential ​openjdk-8-jdk gnuplot-x11 freeglut3 freeglut3-dev libxmlrpc-c* libboost-dev<​br>​ 
 +echo "​export DISPLAY=:​0.0"​ &​gt;&​gt;​ ~/.bashrc
 </li> </li>
 </ul> </ul>
 +</​li><​li>​Certaines séances nécessitent un serveur X pour afficher des fenêtre graphiques. Une solution est d'​installer <a href="​https://​sourceforge.net/​projects/​xming/"​ target="​_blank">​Xming</​a>​
 +</li>
 </ul> </ul>
  
 <p>A partir de maintenant, vous pouvez utiliser gcc directement dans ce terminal. Notez que votre dossier personnel Windows se trouve au chemin suivant: /​mnt/​c/​Users/"​Votre nom d'​utilisateur Windows"</​p>​ <p>A partir de maintenant, vous pouvez utiliser gcc directement dans ce terminal. Notez que votre dossier personnel Windows se trouve au chemin suivant: /​mnt/​c/​Users/"​Votre nom d'​utilisateur Windows"</​p>​
  
-<​p>​Pour éditer vos fichiers de code, vous pouvez installer Geany, le même programme qui est fourni avec la machine virtuelle: <a href="​http://​www.geany.org/​Download/​Releases#​windowsBinaries">​Geany for Windows</​a></​p>​+<​p>​Pour éditer vos fichiers de code, vous pouvez installer Geany, le même programme qui est fourni avec la machine virtuelle: <a href="​http://​www.geany.org/​Download/​Releases#​windowsBinaries" target="​_blank">​Geany for Windows</​a></​p>​
 <​p>​Veuillez néanmoins noter que la version Windows n'​inclut pas de terminal, vous devez donc toujours passer par "Bash on Ubuntu on Windows"​ pour compiler et exécuter votre programme.</​p>​ <​p>​Veuillez néanmoins noter que la version Windows n'​inclut pas de terminal, vous devez donc toujours passer par "Bash on Ubuntu on Windows"​ pour compiler et exécuter votre programme.</​p>​
 +<​p></​p>​
 +
  
 <​h4>​Autres versions de Windows</​h4>​ <​h4>​Autres versions de Windows</​h4>​
Line 212: Line 211:
 <​li><​a href="​https://​www.macports.org/"​ target="​_blank">​Macports</​a>&​nbsp;​(installer le port gcc49)</​li>​ <​li><​a href="​https://​www.macports.org/"​ target="​_blank">​Macports</​a>&​nbsp;​(installer le port gcc49)</​li>​
 </ul> </ul>
 +<​p>​Pour éditer vos fichiers de code, vous pouvez installer Geany, le même programme qui est fourni avec la machine virtuelle: <a href="​http://​www.geany.org/​Download/​Releases#​macOSXBinaries"​ target="​_blank">​Geany for Mac OS</​a></​p>​
  
 <​h4>​Linux</​h4>​ <​h4>​Linux</​h4>​
Line 222: Line 222:
 </li> </li>
 </ul> </ul>
 +
 </​html>​ </​html>​