Les options:
/etc/default/grub
Les scripts de personnalisation:
/etc/grub.d/
Aucune modification ne sera appliqué avant:
update-grub ou grub2-mkconfig -o /boot/grub2/grub.cfg
Cette commande va modifier le /boot/grub/grub.cfg
