Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
teaching:infoh304 [2020/09/19 17:46] jroland [Machine virtuelle pour le cours INFOH304] |
teaching:infoh304 [2020/09/19 17:48] jroland [Machine virtuelle pour le cours INFOH304] |
||
|---|---|---|---|
| Line 192: | Line 192: | ||
| <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>Choisissez un mot de passe<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> | ||