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, 27 insertions, 0 deletions
diff --git a/remote/modules/grub/data/etc/grub/grub.default.style b/remote/modules/grub/data/etc/grub/grub.default.style new file mode 100644 index 00000000..af835d3b --- /dev/null +++ b/remote/modules/grub/data/etc/grub/grub.default.style @@ -0,0 +1,27 @@ +# +# 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 ### + + |