Salut,
[quote]Tout le contraire
$ head /boot/grub/grub.cfg
DO NOT EDIT THIS FILE[/quote]
C’est parce que les fichiers de configuration ont été dispatchés :
/etc/default/grub : gère les valeurs par défaut de grub (délai de lancement, résolution d’affichage, splash/quiet, options par défaut des nouveaux noyaux,…)
les fichiers du dossier /etc/grub.d/
* 00_header : contient le script gérant les options définies dans /etc/default/grub.
* 05_debian_theme : gère les couleurs du menu et le fond d'écran éventuel.
* 10_linux : contient le script de lancement du système sur lequel on est.
* 20_memtest86+ : script permettant de générer les entrées memtest.
* 30_os-prober : contient le script de recherche des autres systèmes installés.
* 40_custom : configuration perso. C'est là qu'on pourra paramétrer manuellement le lancement des systèmes d'exploitation.
Je dirais que c’est plutôt le principe KISS qui a été appliqué à grub . Un fichier pour une fonction .
