grub/default/grub

   1 GRUB_TIMEOUT=5
   2 GRUB_DISTRIBUTOR="$(sed 's, release .*$,,g' /etc/system-release)"
   3 GRUB_DEFAULT=saved
   4 # GRUB_TERMINAL="serial console"
   5 # GRUB_SERIAL_COMMAND="serial --unit=0 --speed=115200"
   6 GRUB_CMDLINE_LINUX="quiet rhgb"
   7 GRUB_DISABLE_RECOVERY="true"
   8 GRUB_THEME="/boot/grub/themes/system/theme.txt"