GRUB

GRUB (GRand Unified Bootloader) est un menu d'amorçage pour les systèmes d'exploitation installés sur la machine. Un équivalent courant : LILO.

• Si le menu de GRUB nes'affiche pas, appuyer longuement sur ⇧ Shift ou Esc juste après le chargement du BIOS.
• Documentation de GRUB : info grub

Guide des modifications manuelles dans la doc fr de Ubuntu.

# fichier de config de GRUB
sudo vim /etc/default/grub
 
# mise à jour de GRUB : prise en compte des modifications
sudo update-grub

Le menu est construit par les scripts dans /etc/grub.d/.