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 [2018/09/13 11:25]
jroland [Machine virtuelle pour le cours INFOH304]
teaching:infoh304 [2020/09/19 17:45]
jroland [Machine virtuelle pour le cours INFOH304]
Line 1: Line 1:
 +
 +
 ====== Cours théoriques ====== ====== Cours théoriques ======
   * Slides cours 1: {{:​teaching:​cours-1-handout.pdf|PDF}}   * Slides cours 1: {{:​teaching:​cours-1-handout.pdf|PDF}}
Line 5: Line 7:
 ====== Machine virtuelle pour le cours INFOH304====== ====== Machine virtuelle pour le cours INFOH304======
 <​html>​ <​html>​
 +
 +<​p>​Instructions pour installer la machine virtuelle du cours.</​p>​
 +<p>Si vous possédez un ordinateur portable, il est fortement recommandé de suivre ces instructions,​ et d'​emporter votre ordinateur dès le premier cours théorique&​nbsp;​!</​p>​
  
 <​h1>​Qu'​est-ce qu'une machine virtuelle?</​h1>​ <​h1>​Qu'​est-ce qu'une machine virtuelle?</​h1>​
Line 18: Line 23:
  
 <​p>​L'​avantage d'une machine virtuelle est que quel que soit le système installé sur votre ordinateur, vous vous retrouverez tous avec la même configuration,​ ce qui facilite le support technique.</​p>​ <​p>​L'​avantage d'une machine virtuelle est que quel que soit le système installé sur votre ordinateur, vous vous retrouverez tous avec la même configuration,​ ce qui facilite le support technique.</​p>​
-<p>Un désavantage est que cela occupe de l'​espace disque et peut ralentir l'​ordinateur vu qu'il doit exécuter deux systèmes d'​exploitation en même temps. La machine virtuelle a été conçue pour rester légère et donc fonctionnelle sur tout ordinateur qui ne soit pas trop ancien, mais si vous préférez néanmoins vous en passer, vous trouverez des instructions pour installer le compilateur gcc directement sur votre ordinateur.</​p>​+<p>Un désavantage est que cela occupe de l'​espace disque et peut ralentir l'​ordinateur vu qu'il doit exécuter deux systèmes d'​exploitation en même temps. La machine virtuelle a été conçue pour rester légère et donc fonctionnelle sur tout ordinateur qui ne soit pas trop ancien, mais si vous préférez néanmoins vous en passer, vous trouverez des instructions pour installer le compilateur gcc directement sur votre ordinateur ​en bas de cette page.</p>
 <​h1>​Installation de la machine virtuelle</​h1>​ <​h1>​Installation de la machine virtuelle</​h1>​
 <ol> <ol>
 <​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"​ target="​_blank">​VirtualBox</​a><​ul>​ +<​li>​Téléchargez et installez l'​outil de virtualisation <a href="​https://​www.virtualbox.org"​ target="​_blank">​VirtualBox</​a>​, ainsi que le VirtualBox Extension Pack disponible à la même adresse:<​ul>​ 
-<​li><​a href="​https://​www.virtualbox.org/​wiki/​Downloads"​ target="​_blank">​Virtualbox</​a>&​nbsp;​(Windows/​Mac/​Linux)</​li>​ +<​li><​a href="​https://​www.virtualbox.org/​wiki/​Downloads"​ target="​_blank">​VirtualBox</​a>&​nbsp;​(Windows/​Mac/​Linux)</​li>​ 
-<​li>​Remarque:​ La machine virtuelle est configurée pour la version ​5.2.18, si 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>​Remarque:​ La machine virtuelle est configurée pour la version ​6.1.14, si vous installez une version différente vous devrez réinstaller les "​Additions Invité"​ (voir plus bas) pour profiter de toutes les fonctionnalités</​li>​
 </ul> </ul>
 </li> </li>
-<​li>​Téléchargez ​et installez un client Bittorrent, par exemple:+<​li>​Téléchargez ​l'​image de la machine virtuelle
 <ul> <ul>
-<​li><​a href="http://dev.deluge-torrent.org/wiki/Download" target="​_blank">​Deluge</a>&nbsp;(Windows/Mac/Linux)</​li>​+<​li><​a href="https://universitelibrebruxelles-my.sharepoint.com/:u:/g/​personal/​jeremie_roland_ulb_ac_be/​EX6H4h4n_xhOnvCVG_qpnd0BGqesLMIwc59-M4exnWG_fA?​e=0WlenG" target="​_blank">​padi-vm.ova</​a> ​ou <a href="​http://​quic.ulb.ac.be/​_media/​teaching/​infoh304/​padi-vm.ova"​ target="​_blank">​padi-vm.ova ​(lien alternatif)<​/a></li> 
 +<​li>​Empreinte MD5 (pour vérifier l'​intégrité du fichier, voir plus bas: 99a7495970c017ac457d8efcbebe7fac</li>
 </ul> </ul>
 </li> </li>
-<​li>​Téléchargez le fichier torrent +<​li>​Double-cliquez sur le fichier "​padi-vm.ova"​ pour l'​ouvrir avec VirtualBox</​li>​
-<​ul>​ +
-<​li><​a href="​http://​cs.ulb.ac.be/​files/​padi-vm.torrent"​ target="​_blank">​padi-vm.torrent</​a></​li>​ +
-</​ul>​ +
-</​li>​ +
-<​li>​Ouvrez ce fichier avec votre client Bittorrent, et attendez la fin du téléchargement +
-<​ul>​ +
-<​li>​en cas de problème avec Bittorrent, voici un lien de téléchargement direct:&​nbsp;<​a href="​http://​cs.ulb.ac.be/​files/​padi-vm.ova"​ target="​_blank">​padi-vm.ova</​a></​li>​ +
-</​ul>​ +
-</​li>​ +
-<​li>​Double-cliquez sur le fichier ​téléchargé (nommé ​"​padi-vm.ova"​pour l'​ouvrir avec VirtualBox</​li>​+
 <​li>​Cliquez sur "​Importer"​ et attendez quelques minutes que l'​importation se termine</​li>​ <​li>​Cliquez sur "​Importer"​ et attendez quelques minutes que l'​importation se termine</​li>​
 <​li>​Dans la fenêtre "​Oracle VM VirtualBox",​ cliquez sur "​Démarrer"​ pour faire démarrer votre nouvelle machine virtuelle (nommée "​padi-vm"​).</​li><​li>​Si la machine virtuelle vous demande un mot de passe pour vous connecter, les identifiants sont les suivants:</​li></​ol><​ul><​ul><​li>​Nom d'​utilisateur:​ student</​li><​li>​Mot de passe: ulb</​li></​ul></​ul><​ol>​ <​li>​Dans la fenêtre "​Oracle VM VirtualBox",​ cliquez sur "​Démarrer"​ pour faire démarrer votre nouvelle machine virtuelle (nommée "​padi-vm"​).</​li><​li>​Si la machine virtuelle vous demande un mot de passe pour vous connecter, les identifiants sont les suivants:</​li></​ol><​ul><​ul><​li>​Nom d'​utilisateur:​ student</​li><​li>​Mot de passe: ulb</​li></​ul></​ul><​ol>​
Line 51: Line 47:
 <​h1>​Problèmes fréquents</​h1>​ <​h1>​Problèmes fréquents</​h1>​
  
 +<​h2>​J'​obtiens une erreur quand j'​essaye d'​installer la machine virtuelle ou de la lancer</​h2>​
 +
 +<​ul><​li>​Vérifiez que vous avez bien installé le VirtualBox Extension Pack disponible à la même adresse que le programme lui-même:<​br></​li>​
 +<ul>
 +<​li><​a href="​https://​www.virtualbox.org/​wiki/​Downloads"​ target="​_blank">​VirtualBox</​a>&​nbsp;​(Windows/​Mac/​Linux)</​li>​
 +<​li>​Une fois le fichier téléchargé&​nbsp;​(extension .vbox-extpack),​ il suffit de double-cliquer dessus pour l'​installer dans VirtualBox.</​li>​
 +</ul>
 +<​li>​Vérifiez qu'il n'y a pas une option "​Virtualization"​ de désactivée dans le BIOS de votre ordinateur. Pour accéder au BIOS:</​li>​
 +<ul>
 +<​li>&​nbsp;​Redémarrer l'​ordinateur et appuyer sur la touche indiquée à l'​écran dès qu'il s'​allume (souvent F2, F10 ou "​suppr"​)</​li>​
 +<​li>​Sous Windows 10, vous pouvez également accéder au BIOS via "​Démarrer → Paramètres → Mises à jour et sécurité → Récupération"​ en cliquant sur le bouton "​Redémarrer maintenant"​ dans la section "​Démarrage avancé"</​li>​
 +</ul>
 +<​li>​Si la machine plante au démarrage, voici deux causes fréquentes :</​li>​
 +<ul>
 +<​li>​Il se peut qu'il y ait un conflit entre un pilote de la machine virtuelle et l'​hôte. Essayer par exemple de désactiver la carte son de la machine virtuelle en allant dans ses paramètres&​nbsp;​→ onglet "​Son"&​nbsp;​→ Décocher la case "​Activer le son"​.</​li>​
 +<​li>​Le fichier padi-vm.ova a été mal téléchargé et est corrompu. Pour vérifier l'​intégrité du fichier, vous pouvez calculer son empreinte MD5 avec la commande "FCIV -md5 padi-vm.ova"​ (Windows),&​nbsp;"​md5 padi-vm.ova"​ (MacOS)&​nbsp;​ou "​md5sum padi-vm.ova"​ (Linux) et la comparer avec l'​empreinte correcte renseignée juste sous les liens plus haut dans cette page. Si les empreintes diffèrent, c'est que le fichier téléchargé est corrompu et qu'il faut le retélécharger.</​li>​
 +</ul>
 +<​li>​Si vous utilisez MacOS (en particulier à partir de la version 10.13 High Sierra) et que vous obtenez un message indiquant "​Kernel driver not installed (rc=-1908)"</​li><​ul><​li>​Ouvrez les "​Préférences Système"​ (icône engrenage), puis "​Sécurité et confidentialité"<​br></​li><​li>​Sous l'​onglet "​Général",​ il devrait y avoir un message indiquant qu'un logiciel développé par Oracle America, Inc a été bloqué: cliquez sur "​Autoriser"</​li><​li>​Relancez la machine virtuelle depuis VirtualBox</​li><​li>​Attention:​ le message en question n'​apparaît que pendant 30 minutes après la première apparition de cette erreur. Si le message n'​apparaît plus, veuillez redémarrer votre machine et réessayer.</​li></​ul></​ul>​
 <​h2>​La machine virtuelle me demande un identifiant et un mot de passe</​h2>​ <​h2>​La machine virtuelle me demande un identifiant et un mot de passe</​h2>​
 <​p>​Utilisez l'​identifiant suivant:</​p>​ <​p>​Utilisez l'​identifiant suivant:</​p>​
Line 59: Line 73:
  
 <​h2>​Installation des "​Additions Invité"</​h2>​ <​h2>​Installation des "​Additions Invité"</​h2>​
-<p><​span style="​font-size:​ 14.44px;"​>La machine virtuelle a été configurée pour la dernière version de VirtualBox disponible au début de l'​année académique,​ soit 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:</​span><​br>​</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émique,​ soit la version ​6.1.14. 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>​
 <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>​
Line 76: Line 90:
 <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. Attention: suite à 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 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. Attention: suite à 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".</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>
Line 101: Line 115:
 <​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>​Cochez les options "Configuration permanente" et "Montage automatique"</​li>​+<​li>​Cochez les options "Montage automatique" et "Configuration permanente"</​li>​
 <​li>​Cliquez sur "​OK",​ puis encore "​OK"</​li>​ <​li>​Cliquez sur "​OK",​ puis encore "​OK"</​li>​
 </ol> </ol>
Line 141: Line 155:
 <​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). 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 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"​.</​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 153: Line 167:
 <​h1>​Alternative:​ installer gcc directement sur votre ordinateur</​h1>​ <​h1>​Alternative:​ installer gcc directement sur votre ordinateur</​h1>​
 <​p>​Dans certains cas, vous pourriez préférer travailler directement sur votre système plutôt que passer par une machine virtuelle. Cela pourrait être le cas si vous n'avez pas suffisamment d'​espace disque, si votre machine est trop peu puissante pour émuler la machine virtuelle sans ralentissement (cela ne devrait arriver que pour des machines assez anciennes), ou tout simplement si vous ne voyez pas l'​intérêt de passer par une machine virtuelle.</​p>​ <​p>​Dans certains cas, vous pourriez préférer travailler directement sur votre système plutôt que passer par une machine virtuelle. Cela pourrait être le cas si vous n'avez pas suffisamment d'​espace disque, si votre machine est trop peu puissante pour émuler la machine virtuelle sans ralentissement (cela ne devrait arriver que pour des machines assez anciennes), ou tout simplement si vous ne voyez pas l'​intérêt de passer par une machine virtuelle.</​p>​
-<​p>​Notez néanmoins que vu la complexité à gérer un parc d'​installations ​hétérogènes, nous ne fournirons du support technique que pour la solution conseillée utilisant la machine virtuelle. Si vous désirez tout de même vous en passer, voici quelques liens pour installer le compilateur gcc, qui est le strict minimum pour pouvoir suivre le cours (la version installée sur la machine virtuelle est gcc 4.9.2, mais toute version relativement récente devrait faire l'​affaire).</​p>​+<​p>​Notez néanmoins que vu la complexité à gérer un parc d'​installations ​hétérogène, nous ne fournirons du support technique que pour la solution conseillée utilisant la machine virtuelle. Si vous désirez tout de même vous en passer, voici quelques liens pour installer le compilateur gcc, qui est le strict minimum pour pouvoir suivre le cours (la version installée sur la machine virtuelle est gcc 4.9.2, mais toute version relativement récente devrait faire l'​affaire).</​p>​
  
 <​h4>​Windows 10</​h4>​ <​h4>​Windows 10</​h4>​
Line 169: Line 183:
 </ul> </ul>
 </li> </li>
-<li>Installer ​le sous-système Windows pour Linux+<li>Installez ​le sous-système Windows pour Linux
 <ul> <ul>
 <​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>​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"​) -&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"​) -&gt; Recherchez "​Panneau de configuration"​ -&gt; Programmes -&gt; Programmes et fonctionnalités -&gt; Activer ou désactiver des fonctionnalités de Windows -&​gt; ​Cocher "Sous-système Windows pour Linux"et "​Plateforme de machine virtuelle"​</li>
 <li> Redémarrez votre ordinateur</​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>Ouvrez le Windows Store, cherchez, installez puis lancez ​"​Ubuntu"​</​li><​li>​ Configurez Ubuntu en suivant ​les instructions suivantes<​ul>​ 
-<​ul>​ +<li><span style="font-size: 14.44px;">​Choisissez un mot de passe</​span><​br>​</​li><​li>​ Tapez les commandes suivantes dans le terminal:<​br>​
-<li>Barre de recherche (icône "Loupe"-&gtRecherchez "Bash on Ubuntu on Windows"</​li>​ +
-<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>​
Line 187: Line 198:
 </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>​La prochaine fois, vous pouvez lancer Ubuntu via la barre de recherche (icône "​Loupe"​) -&gt; Recherchez "Bash on Ubuntu on Windows"</​li>​ 
 +</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> </li>
 </ul> </ul>