GRUB (GRand Unified Bootloader) est un chargeur de démarrage de système d'exploitation utilisé dans la plupart Linux distributions, capables de lancer plusieurs systèmes d'exploitation sur le même ordinateur. Il s'agit essentiellement d'un programme situé entre le BIOS/UEFI et le système d'exploitation lui-même.
Lorsque vous allumez votre ordinateur, le micrologiciel (BIOS ou UEFI) s'exécute en premier, initialisant le matériel. Le contrôle est ensuite transmis au chargeur de démarrage ; c'est là que GRUB entre en jeu. Il affiche un menu permettant de sélectionner le système d'exploitation (s'il y en a plusieurs) et charge le Linux noyau ou un autre système et lui passe le contrôle.
sudo add-apt-repository ppa:yannubuntu/boot-repair sudo apt-get update sudo apt-get install -y boot-repair && boot-repair
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 /etc/default/grub avec un éditeur de texte, par exemple nano :
sudo nano /etc/default/grub
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, appuyez sur CTRL+O pour enregistrer les changements et appuyez sur la touche CTRL+X pour quitter l’éditeur de texte nano Pour mettre à jour les paramètres GRUB avec tous vos changements, exécutez la commande « update-grub » avec les privilèges « sudo » :
sudo update-grub
Pour appliquer toutes les modifications apportées aux fichiers de configuration, il est nécessaire de redémarrer le système d’exploitation, ce qui est possible grâce au script ci-dessous :
sudo reboot