Dans l'étape précédente, nous avons examiné le fichier /etc/default/grub
, qui est le fichier de configuration principal de GRUB. Cependant, ce fichier n'est pas directement utilisé par GRUB lors du processus de démarrage. Au lieu de cela, les paramètres de /etc/default/grub
sont utilisés pour générer le fichier de configuration du menu GRUB réel, qui se trouve à /boot/grub/grub.cfg
.
Le fichier /boot/grub/grub.cfg
est automatiquement généré par la commande update-grub
(ou grub-mkconfig
). Il contient les entrées de menu que vous voyez lorsque l'ordinateur démarre, vous permettant de choisir quel système d'exploitation ou noyau (kernel) démarrer.
Important : Vous ne devez jamais modifier manuellement le fichier /boot/grub/grub.cfg
. Toute modification que vous apportez sera écrasée la prochaine fois que la commande update-grub
sera exécutée. Modifiez toujours le fichier /etc/default/grub
puis exécutez sudo update-grub
pour appliquer vos modifications.
Voyons le contenu du fichier /boot/grub/grub.cfg
en utilisant la commande cat
.
Tapez la commande suivante dans votre terminal et appuyez sur Entrée :
cat /boot/grub/grub.cfg
Vous verrez une sortie beaucoup plus longue et complexe que celle de /etc/default/grub
. Ce fichier contient la configuration détaillée de chaque entrée du menu de démarrage, y compris le chemin du noyau, le chemin de l'initrd et les paramètres de ligne de commande du noyau.
#
## DO NOT EDIT THIS FILE
#
## It is automatically generated by grub-mkconfig using templates
## from /etc/grub.d and settings from /etc/default/grub
#
#### BEGIN /etc/grub.d/00_header ###
...
#### END /etc/grub.d/00_header ###
#### BEGIN /etc/grub.d/05_debian_theme ###
...
#### END /etc/grub.d/05_debian_theme ###
#### BEGIN /etc/grub.d/10_linux ###
...
menuentry 'Ubuntu' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-xxxxxxxx-xxxx-xxxx-xxxx-xxxxxxxxxxxx' {
recordfail
...
linux /boot/vmlinuz-*-generic root=UUID=xxxxxxxx-xxxx-xxxx-xxxx-xxxxxxxxxxxx ro quiet splash $vt_handoff
initrd /boot/initrd.img-*-generic
}
...
#### END /etc/grub.d/10_linux ###
#### BEGIN /etc/grub.d/20_linux_xen ###
...
#### END /etc/grub.d/20_linux_xen ###
#### BEGIN /etc/grub.d/30_os-prober ###
...
#### END /etc/grub.d/30_os-prober ###
#### BEGIN /etc/grub.d/30_uefi-firmware ###
...
#### END /etc/grub.d/30_uefi-firmware ###
#### BEGIN /etc/grub.d/40_custom ###
...
#### END /etc/grub.d/40_custom ###
#### BEGIN /etc/grub.d/41_custom ###
...
#### END /etc/grub.d/41_custom ###
Vous pouvez faire défiler la sortie pour voir les différentes entrées de menu et leurs configurations. Recherchez les lignes commençant par menuentry
. Elles définissent les options qui apparaissent dans le menu de démarrage GRUB.
Ce fichier est complexe, et vous n'avez pas besoin de comprendre chaque ligne pour le moment. Le point clé à retenir est que /boot/grub/grub.cfg
est le fichier que GRUB utilise réellement, et qu'il est généré à partir de /etc/default/grub
et des scripts dans /etc/grub.d
.
Cliquez sur Continuer pour passer à l'étape suivante.