Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
teaching:infoh304 [2018/09/13 16:10] jroland [Machine virtuelle pour le cours INFOH304] |
teaching:infoh304 [2019/09/12 21:00] jroland |
||
|---|---|---|---|
| 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 !</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> | ||
| Line 24: | Line 29: | ||
| </li> | </li> | ||
| <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>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> (Windows/Mac/Linux)</li> | + | <li><a href="https://www.virtualbox.org/wiki/Downloads" target="_blank">VirtualBox</a> (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.0.12, 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> | ||
| Line 35: | Line 40: | ||
| <li>Téléchargez le fichier torrent | <li>Téléchargez le fichier torrent | ||
| <ul> | <ul> | ||
| - | <li><a href="http://cs.ulb.ac.be/files/padi-vm.torrent" target="_blank">padi-vm.torrent</a></li> | + | <li><a href="http://quic.ulb.ac.be/_media/teaching/infoh304/padi-vm.torrent" target="_blank">padi-vm.torrent</a></li> |
| </ul> | </ul> | ||
| </li> | </li> | ||
| <li>Ouvrez ce fichier avec votre client Bittorrent, et attendez la fin du téléchargement | <li>Ouvrez ce fichier avec votre client Bittorrent, et attendez la fin du téléchargement | ||
| <ul> | <ul> | ||
| - | <li>en cas de problème avec Bittorrent, voici un lien de téléchargement direct: <a href="http://cs.ulb.ac.be/files/padi-vm.ova" target="_blank">padi-vm.ova</a></li> | + | <li>en cas de problème avec Bittorrent, voici un lien de téléchargement direct: <a href="http://quic.ulb.ac.be/_media/teaching/infoh304/padi-vm.ova" target="_blank">padi-vm.ova</a></li> |
| </ul> | </ul> | ||
| </li> | </li> | ||
| Line 51: | Line 56: | ||
| <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</h2> | + | <h2>J'obtiens une erreur quand j'essaye d'installer la machine virtuelle ou de la lancer</h2> |
| - | <p>Vérifiez que vous avez bien installé le VirtualBox Extension Pack disponible à la même adresse que le programme lui-même:</p> | + | |
| - | <ul><li><a href="https://www.virtualbox.org/wiki/Downloads" target="_blank">VirtualBox</a> (Windows/Mac/Linux)</li></ul><p>Une fois le fichier téléchargé (extension .vbox-extpack), il suffit de double-cliquer dessus pour l'installer dans VirtualBox.</p> | + | <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> (Windows/Mac/Linux)</li><li>Une fois le fichier téléchargé (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> 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 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> | ||
| Line 63: | Line 68: | ||
| <h2>Installation des "Additions Invité"</h2> | <h2>Installation des "Additions Invité"</h2> | ||
| - | <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 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>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.0.12. 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 157: | Line 162: | ||
| <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> | ||