web-dev-qa-db-fra.com

Paramètre GRUB_DISTRIBUTOR sur / etc / default / grub

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?

2
RandomTest

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).

0
mook765