# 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
# AMDGPU [https://wiki.archlinux.org/title/AMDGPU#Loading]: "Make sure you do not have *nomodeset* or *vga=* as a kernel parameter, since amdgpu requires KMS."
GRUB_CMDLINE_LINUX_DEFAULT="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"