Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
tutos:tutos [19/10/2017 18:18] Mathieu Hery |
tutos:tutos [18/04/2023 22:22] (Version actuelle) Simon Larcher [Ordinateurs Pollux] Correction liste |
||
---|---|---|---|
Ligne 42: | Ligne 42: | ||
==== Installation Ardublock ==== | ==== Installation Ardublock ==== | ||
* [[http://blog.ardublock.com/2011/10/25/install-ardublock-arduino-ide/|Ardublock]] | * [[http://blog.ardublock.com/2011/10/25/install-ardublock-arduino-ide/|Ardublock]] | ||
+ | |||
+ | ==== Ordinateurs Pollux ==== | ||
+ | |||
+ | Si jamais les ordinateurs redémarrent sous Windows, voici la manip: | ||
+ | * Menu Démarrer | ||
+ | * Tapez "Récupération", cliquez sur Options de récupération | ||
+ | * Dans la section Redémarrage avancé cliquez sur "Redémarrer maintenant" | ||
+ | * Après un petit chargement, vous aurez un écran avec un bouton "Choisir un périphérique", choisissez ce bouton avec les flèches, appuyez sur entrée, sur l'écran d'après, ubuntu est sélectionné, appuyez sur entrée. | ||
+ | |||
+ | La suite est à l'attention des professeurs du secteur : | ||
+ | Dans l'historique de commandes du terminal se trouve la bonne commande grub-install, il faut ensuite faire update-grub, le tout avec sudo ! | ||
+ | Côté Windows, la manipulation qui devrait avoir définitivement réglé le problème est celle-ci: https://gist.github.com/gianfebrian/cdca4d860997ef4308f8efe5deabcdfb |