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 Les deux révisions suivantes | ||
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, 16:58] malbo [Ajouter du rootdelay au démarrage] lien vers tuto "Comment modifier un fichier" au lieu de commande obsolète "gksudo gedit /etc/default/grub" - |
||
---|---|---|---|
Ligne 189: | Ligne 189: | ||
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. | 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> | <file>GRUB_CMDLINE_LINUX_DEFAULT="rootdelay=40 quiet splash"</file> | ||