Menu de démarrage du BIOS
Pour l'installation de PrimTux depuis une clé USB, on peut avoir besoin de lancer le menu de démarrage du BIOS.
Pour y accéder, cela ne peut se faire qu'au moment de l'allumage du PC et ceci pendant un bref laps de temps (quelques secondes) en appuyant sur une touche particulière du clavier. Parfois, on voit s'afficher un message furtif en bas de l'écran nous indiquant sur quelles touches appuyer.
Ces touches varient selon les modèles d'ordinateurs : souvent c'est "Esc", "F1","F2", "F8" ou "F9" mais ce n'est pas garantie.
Il existe aussi une touche, souvent la "F12" qui permet de choisir sur quel périphérique l'ordinateur doit démarrer : soit le disque dur, soit une clé USB ou soit le réseau. Ceci permet de tester la clé USB sans aller trifouiller dans le BIOS mais si ça ne marche pas, on n'aura pas d'autre choix que d'aller paramétrer le BIOS pour permettre l'installation de Primtux.
Remarque : si l'on rate la fenêtre de tir pour rentrer dans le BIOS, il n'y a pas d'autre choix que de redémarrer l'ordinateur. On y arrive très rarement du premier coup.
Si le mode Legacy (ou mode CSM, Compatibility Support Module) est activé, on aura le menu suivant :
Si le mode UEFI est activé, ou le mode CSM désactivé, on aura le menu suivant :
On doit repérer à quelle entrée du menu correspond la clé USB.
Dans les illustrations précédentes, voici à quoi correspondent les entrées :
On voit que la clé USB peut démarrer selon deux modes si l'on a autorisé le mode legacy. Dès lors, quel mode choisir ?
Ce choix déterminera le mode d'installation du système, et aura donc des conséquences sur son démarrage après installation.
Voici un tableau synthétisant cela.
Après installation, le système va-t-il démarrer en mode | |||
J'ai démarré la clé USB en mode | legacy | UEFI | automatique (on ne passe pas par le menu de démarrage) |
legacy | oui | oui ou non selon les BIOS | oui |
UEFI | non | oui | non |
La pile qui maintient les informations du BIOS peut se décharger au bout de quelques années.
Dans ce cas, le BIOS est réinitialisé à ses valeurs par défaut. En conséquence le système peut ne pas démarrer selon le type d'installation que l'on a faite. Il faudra alors remodifier les paramètres du BIOS après avoir changé la pile.