Le 27 décembre 2023 Basile Starynkevitch a écrit : > Toutefois, sur Debian ou Ubuntu le fichier de configuration de grub (à savoir > /boot/grub/grub.cfg ....) est la plupart du temps généré par l'utilitaire > grub-mkconfig (un script shell)
En général on utilise la commande update-grub qui encapsule l'appel à grub-mkconfig
