grub Linux boot initialisation du système
grub-set-default
Définis l'entrée de boot par défaut pour GRUB. Nécessite de définir GRUB_DEFAULT=saved dans /etc/default/grub
OPTIONS
--boot-directory=DIR Utilise DIR/grub au lieu de /boot/grubL'entrée de menu spécifiée est un nombre, un titre, ou un identifiant.