start:linux:grub
Différences
Ci-dessous, les différences entre deux révisions de la page.
| Prochaine révision | Révision précédente | ||
| start:linux:grub [2026/01/17 10:50] – créée admin | start:linux:grub [2026/01/17 10:53] (Version actuelle) – [Installer boot-repair avec apt-get] admin | ||
|---|---|---|---|
| Ligne 4: | Ligne 4: | ||
| Lorsque vous allumez votre ordinateur, le micrologiciel (BIOS ou UEFI) s' | Lorsque vous allumez votre ordinateur, le micrologiciel (BIOS ou UEFI) s' | ||
| + | |||
| + | =====Installer boot-repair avec apt-get===== | ||
| + | |||
| + | |||
| + | sudo add-apt-repository ppa: | ||
| + | sudo apt-get update | ||
| + | sudo apt-get install -y boot-repair && boot-repair | ||
| + | | ||
| + | [[https:// | ||
| + | |||
| + | |||
| + | =====Comment modifier le délai d’attente de GRUB sous Linux===== | ||
| + | |||
| + | Pour changer le délai d’expiration de GRUB, il faut modifier la valeur GRUB_TIMEOUT dans la configuration de GRUB. | ||
| + | Voici comment faire : | ||
| + | |||
| + | Editez le fichier / | ||
| + | |||
| + | sudo nano / | ||
| + | |||
| + | Recherchez la ligne qui commence par GRUB_TIMEOUT et modifiez le nombre. Il représente le nombre de secondes pendant lesquelles vous souhaitez que le menu s’affiche avant que l’option par défaut ne soit automatiquement sélectionnée. Par exemple pour un délai d’attente de 15 secondes : | ||
| + | |||
| + | GRUB_TIMEOUT = 15 | ||
| + | |||
| + | Après les modifications, | ||
| + | Pour mettre à jour les paramètres GRUB avec tous vos changements, | ||
| + | |||
| + | sudo update-grub | ||
| + | |||
| + | Pour appliquer toutes les modifications apportées aux fichiers de configuration, | ||
| + | |||
| + | sudo reboot | ||
/home/chanteri/www/fablab37110/data/attic/start/linux/grub.1768643431.txt.gz · Dernière modification : de admin
