Параметр GRUB_DISTRIBUTOR в / etc / default / grub
Мне любопытен этот параметр, все, что я знаю, вы можете установить любое имя с помощью echo
GRUB_DISTRIBUTOR='echo some_random_name'
, и оно отображает имя, которое я установил в меню grub2. Но мне любопытно, почему он возвращается к фиолетовому фону, когда я восстанавливаю предыдущее значение
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
, где определен этот параметр? это в grub.cfg? или находится в некоторых файлах в папке grub.d?
1 ответ
Вы найдете соответствующие строки в /boot/grub/gub.cfg между строками
### BEGIN /etc/grub.d/05_debian_theme ###
и
### END /etc/grub.d/05_debian_theme ###
С тех пор /boot/grub/gub.cfg сгенерирован путем использования файлов в /etc/grub.d/ необходимо смотреть на /etc/grub.d/05_debian_theme. Переменная GRUB_DISTRIBUTOR используется в этом файле несколько раз для определения появления Личинки. Это также зависит от существования нескольких файлов в Вашей системе (фоновые изображения, темы).