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 [2020/09/19 17:45] jroland [Machine virtuelle pour le cours INFOH304] |
teaching:infoh304 [2020/09/19 17:48] jroland [Machine virtuelle pour le cours INFOH304] |
||
---|---|---|---|
Line 186: | Line 186: | ||
<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 -> Paramètres (icône "Engrenage") -> Mise à jour et sécurité -> Pour les développeurs -> 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 -> Cocher "Sous-système Windows pour Linux"et "Plateforme de machine virtuelle"</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 -> Cochez "Sous-système Windows pour Linux" et "Plateforme de machine virtuelle"</li> |
<li> Redémarrez votre ordinateur</li> | <li> Redémarrez votre ordinateur</li> | ||
</ul> | </ul> | ||
</li> | </li> | ||
<li>Ouvrez le Windows Store, cherchez, installez puis lancez "Ubuntu"</li><li> Configurez Ubuntu en suivant les instructions suivantes<ul> | <li>Ouvrez le Windows Store, cherchez, installez puis lancez "Ubuntu"</li><li> Configurez Ubuntu en suivant les instructions suivantes<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>Choisissez un mot de passe<br></li><li> Tapez les commandes suivantes dans le terminal:<br> |
- | apt-get update<br> | + | sudo apt-get update<br> |
- | apt-get upgrade<br> | + | sudo apt-get upgrade<br> |
- | apt-get install build-essential openjdk-8-jdk gnuplot-x11 freeglut3 freeglut3-dev libxmlrpc-c* libboost-dev<br> | + | sudo apt-get install build-essential openjdk-8-jdk gnuplot-x11 freeglut3 freeglut3-dev libxmlrpc-c* libboost-dev<br> |
echo "export DISPLAY=:0.0" >> ~/.bashrc | echo "export DISPLAY=:0.0" >> ~/.bashrc | ||
</li> | </li> |