diff options
| -rw-r--r-- | grub/default/grub | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/grub/default/grub b/grub/default/grub new file mode 100644 index 0000000..daf7dba --- /dev/null +++ b/grub/default/grub @@ -0,0 +1,40 @@ +# Configuration file for GRUB 2.06 +# Docs: https://www.gnu.org/software/grub/manual/grub/grub.html#Configuration +# +# I don't know what is wrong with grub, but it's so slow with high resolutions +# (FullHD+). That's why I don't use any themes. I assume the problem is that +# GRUB uses EFI GOP Driver, which isn't fast +# + +# The default menu entry +GRUB_DEFAULT=0 + +# Boot the default entry this many seconds after the menu is displayed, unless a key is pressed +GRUB_TIMEOUT=5 + +GRUB_TIMEOUT_STYLE="menu" +GRUB_DISTRIBUTOR="`lsb_release -i -s 2> /dev/null || echo Arch`" + +# Select the terminal input device. Native platform console is used +GRUB_TERMINAL_INPUT="console" + +# Command-line arguments to add to menu entries for the Linux kernel +GRUB_CMDLINE_LINUX="" + +# Arguments to add only to the default menu entry (recovery menu will remain unchanged) for the Linux kernel +GRUB_CMDLINE_LINUX_DEFAULT="nomodeset quiet splash" + +# Enable the generation of recovery mode menu entries +GRUB_DISABLE_RECOVERY=false + +# Set the resolution used by graphical terminal +GRUB_GFXMODE="800x600,auto" + +# Don't allow the kernel to preserve the graphics mode used by grub +GRUB_GFXPAYLOAD_LINUX=text + +# Enable external `os-prober` to discover other OS installed on the same machine +GRUB_DISABLE_OS_PROBER=false + +# Preload both GPT and MBR modules so that they are not missed +GRUB_PRELOAD_MODULES="part_gpt part_msdos" |