equal
deleted
inserted
replaced
|
1 # If you change this file, run 'update-grub' afterwards to update |
|
2 # /boot/grub/grub.cfg. |
|
3 |
|
4 GRUB_DEFAULT=0 |
|
5 GRUB_TIMEOUT=5 |
|
6 GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian` |
|
7 GRUB_CMDLINE_LINUX_DEFAULT="{BOOT_KERNEL_ARGS_DEFAULT}" |
|
8 GRUB_CMDLINE_LINUX="{BOOT_KERNEL_ARGS}" |
|
9 |
|
10 # Uncomment to enable BadRAM filtering, modify to suit your needs |
|
11 # This works with Linux (no patch required) and with any kernel that obtains |
|
12 # the memory map information from GRUB (GNU Mach, kernel of FreeBSD ...) |
|
13 #GRUB_BADRAM="0x01234567,0xfefefefe,0x89abcdef,0xefefefef" |
|
14 |
|
15 # Uncomment to disable graphical terminal (grub-pc only) |
|
16 GRUB_TERMINAL="{BOOT_GRUB_TERMINAL}" |
|
17 GRUB_SERIAL_COMMAND="serial" |
|
18 |
|
19 # The resolution used on graphical terminal |
|
20 # note that you can use only modes which your graphic card supports via VBE |
|
21 # you can see them in real GRUB with the command `vbeinfo' |
|
22 #GRUB_GFXMODE=640x480 |
|
23 |
|
24 # Uncomment if you don't want GRUB to pass "root=UUID=xxx" parameter to Linux |
|
25 #GRUB_DISABLE_LINUX_UUID=true |
|
26 |
|
27 # Uncomment to disable generation of recovery mode menu entries |
|
28 #GRUB_DISABLE_LINUX_RECOVERY="true" |
|
29 |
|
30 # Uncomment to get a beep at grub start |
|
31 #GRUB_INIT_TUNE="480 440 1" |