更改 GRUB_COLOR_NORMAL 没有效果

Question

/etc/default/grub我取消注释并编辑了与颜色相关的两行，如下所示

GRUB_COLOR_NORMAL="green/black"
GRUB_COLOR_HIGHLIGHT="light-green/green"

然后我运行sudo grub-mkconfig -o /boot/grub/grub.cfg并重新启动。奇怪的是，似乎只有第二行有效果。

另一方面，当我点击CGRUB 的主屏幕并获取控制台时，我可以输入，例如，set color_normal=yellow/blue并set color_highlight=red/cyan验证这两个命令是否有效（在点击 回到 GRUB 的主屏幕后Esc）。

我也尝试将这两行放在之前

if [ x$GRUB_COLOR_NORMAL != x ] && [ x$GRUB_COLOR_HIGHLIGHT != x ] ; then
    cat << EOF
set menu_color_normal=$GRUB_COLOR_NORMAL
set menu_color_highlight=$GRUB_COLOR_HIGHLIGHT

EOF
fi

中/etc/grub.d/00_header，认为/etc/default/grub可以被后一个文件覆盖，但它仍然没有效果。