Comment obtenir la sélection d'options GRUB au démarrage?
J'utilise Ubuntu GNOME 15.10 avec GNOME 3.18 et jadis au hasard, il semblait y avoir eu une période au cours de laquelle, au démarrage de mon ordinateur, les options GRUB me permettaient de choisir entre le lancement de Ubuntu, Advanced options for Ubuntu, System options, etc ...
Maintenant, cependant, je viens d'avoir un écran gris étrange avec une bordure qui est plus sombre que la sortie de la console du milieu, puis prolixe, est-il possible de forcer cette sélection d'options au démarrage? Parce que si j’ai besoin d’y accéder apparemment, c’est que ce n’est que ce qui provoque un arrêt à froid de ma machine au démarrage le fera, ce qui n’est pas idéal ...
Pour le forcer à apparaître à chaque fois, vous devez éditer le fichier /etc/default/grub par exemple avec
Sudo nano /etc/default/grub
commentez la ligne GRUB_HIDDEN_TIMEOUT=0 afin qu'il ressemble
#GRUB_HIDDEN_TIMEOUT=0
ou si vous n'avez pas cette ligne, commentez GRUB_TIMEOUT_STYLE=hidden
#GRUB_TIMEOUT_STYLE=hidden
et assurez-vous que GRUB_TIMEOUT est réglé sur quelque chose au-dessus de 0 et suffisamment de secondes pour que vous puissiez faire quelque chose lorsque vous arrivez à l'écran, par exemple
GRUB_TIMEOUT=10
Enregistrer et quitter.
Après avoir modifié ce fichier, vous devez exécuter cette commande pour que les modifications prennent effet:
Sudo update-grub
(J'ai compris cela en lisant le documentation mais cette réponse populaire l'explique aussi)
Si vous utilisez un ordinateur, sélectionnez F12 au démarrage pour accéder à la section des options de démarrage. Si vous allez dans l'ordre de démarrage, ou quelque chose du genre, et que le gestionnaire de démarrage GRUB passe à la priorité la plus élevée. Après cela, il devrait s’amorcer sur GRUB. Si vous utilisez un Mac, cela pourrait être la même chose, mais comme je n’ai jamais utilisé OSX, je ne le sais pas vraiment.