Différences

Ci-dessous, les différences entre deux révisions de la page.

--- grub-pc [Le 22/11/2020, 15:12]
malbo [Utilisation du menu] ajout de GRUB_TIMEOUT_STYLE=menu et GRUB_TIMEOUT=10 -
+++ grub-pc [Le 22/11/2020, 17:09]
malbo [Utilisation du menu] remaniement du paragraphe -
@@ Ligne 46: / Ligne 46: @@
 **Si vous n'avez qu'un seul système d'installé, Grub ne s'affiche pas !**
-Pour le voir, il suffit de maintenir la **touche Majuscule (shift)**  ( ou la touche** [[https://forum.ubuntu-fr.org/viewtopic.php?pid=21778237#p21778237|ECHAP]]**) enfoncée **au démarrage** de l'ordinateur. On peut aussi forcer l'affichage du menu Grub en faisant les modifications suivantes dans le fichier /etc/default/grub : **GRUB_TIMEOUT_STYLE=menu** (au lieu de "hidden") et **GRUB_TIMEOUT=10** (au lieu de 0) puis en faisant la mise à jour de grub par la commande "sudo update-grub".
+Pour le voir, il suffit de maintenir la **touche Majuscule (shift)**  ( ou la touche** [[https://forum.ubuntu-fr.org/viewtopic.php?pid=21778237#p21778237|ECHAP]]**) enfoncée **au démarrage** de l'ordinateur.
 <note help> Appuyer 3 ou 4 fois sur la touche Maj ou  Echap à l'apparition du logo du bios fonctionne aussi.</note>
+On peut aussi forcer l'affichage du menu Grub : pour cela, il faut [[:tutoriel:comment_modifier_un_fichier|éditer]] le fichier /etc/default/grub **avec les droits d'administration** pour faire les modifications suivantes : **GRUB_TIMEOUT_STYLE=menu** (au lieu de "hidden") et **GRUB_TIMEOUT=10** (au lieu de 0) puis en faisant la mise à jour de grub par la commande "sudo update-grub".
 Dans les autres cas, vous verrez la liste des systèmes installés :
@@ Ligne 189: / Ligne 190: @@
 Si vous tombez sur une Busybox au démarrage, il est possible que le système n’ait pas attendu assez longtemps pour que les disques durs s’initialisent. Vous pouvez continuer le démarrage par un simple CTRL+D dans la Busybox. Si cela fonctionne, une solution sera d'insérer un rootdelay dans grub.
-Pour cela [[:tutoriel:comment_modifier_un_fichier|éditer]] /etc/default/grub **avec les droits d'administration** (commande "gksudo gedit /etc/default/grub") pour mettre par exemple :
+Pour cela [[:tutoriel:comment_modifier_un_fichier|éditer]] /etc/default/grub **avec les droits d'administration** (voir [[tutoriel:comment_modifier_un_fichier|tuto "Comment modifier un fichier ?"]]) pour mettre par exemple :
-en
 <file>GRUB_CMDLINE_LINUX_DEFAULT="rootdelay=40 quiet splash"</file>