diff options
Diffstat (limited to 'remote/modules/grub/data/etc/grub/grub.default.style')
| -rw-r--r-- | remote/modules/grub/data/etc/grub/grub.default.style | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/remote/modules/grub/data/etc/grub/grub.default.style b/remote/modules/grub/data/etc/grub/grub.default.style deleted file mode 100644 index af835d3b..00000000 --- a/remote/modules/grub/data/etc/grub/grub.default.style +++ /dev/null @@ -1,27 +0,0 @@ -# -# DO NOT EDIT THIS FILE -# -# It is automatically generated by grub-mkconfig using templates -# from /etc/grub.d and settings from /etc/default/grub -# - -### BEGIN /etc/grub.d/00_header ### - set gfxmode=auto - load_video - insmod gfxterm - set lang=pt_PT - set timeout_style=menu - set timeout=10 -### END /etc/grub.d/00_header ### - -### BEGIN /etc/grub.d/05_debian_theme ### -#set menu_color_normal=white/black -#set menu_color_highlight=black/light-gray -### END /etc/grub.d/05_debian_theme ### - -### BEGIN /etc/grub.d/06_mint_theme ### -set menu_color_normal=white/black -set menu_color_highlight=white/light-gray -### END /etc/grub.d/06_mint_theme ### - - |