Je suis curieux de connaître ce paramètre, tout ce que je sais, c'est que vous pouvez définir n'importe quel nom avec écho
GRUB_DISTRIBUTOR='echo some_random_name'
et il affiche le nom que j'ai défini dans le menu grub2. Mais je suis curieux de savoir pourquoi cela revient au fond violet lorsque je rétablis la valeur précédente
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
où ce paramètre est-il défini? est-ce dans grub.cfg? ou se trouve-t-il dans certains fichiers du dossier grub.d?
Les lignes pertinentes sont en /boot/grub/grub.cfg
entre
### BEGIN /etc/grub.d/05_debian_theme ###
et
### END /etc/grub.d/05_debian_theme ###
Depuis /boot/grub/grub.cfg
est généré en utilisant les fichiers dans /etc/grub.d/
vous devriez jeter un œil à /etc/grub.d/05_debian_theme
. La variable GRUB_DISTRIBUTOR
est utilisé plusieurs fois dans ce fichier pour déterminer l'apparence de Grub. Cela dépend également de l'existence de plusieurs fichiers dans votre système (images de fond, thèmes).