start:linux:grub
Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédente | ||
| start:linux:grub [2026/01/17 10:51] – admin | start:linux:grub [2026/01/17 10:53] (Version actuelle) – [Installer boot-repair avec apt-get] admin | ||
|---|---|---|---|
| Ligne 11: | Ligne 11: | ||
| sudo apt-get update | sudo apt-get update | ||
| sudo apt-get install -y boot-repair && boot-repair | 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.1768643492.txt.gz · Dernière modification : de admin
