wok-6.x view grub2/stuff/etc-default-grub @ rev 24657
updated icewm (1.6.4 -> 2.9.6)
author | Hans-G?nter Theisgen |
---|---|
date | Fri Mar 11 07:48:38 2022 +0100 (2022-03-11) |
parents | |
children |
line source
1 # If you change this file, run
2 # grub-mkconfig -o /boot/grub/grub.cfg.
3 # afterwards.
4 # For full documentation of the options in this file, see:
5 # https://www.gnu.org/software/grub/manual/grub/html_node/Simple-configuration.html
7 GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo SliTaz`
9 #GRUB_DEFAULT=saved
10 #GRUB_SAVEDEFAULT=true
12 #GRUB_TIMEOUT=5
13 #GRUB_TIMEOUT_STYLE=menu
14 #GRUB_HIDDEN_TIMEOUT=0
15 #GRUB_HIDDEN_TIMEOUT_QUIET=true
17 #GRUB_TERMINAL_INPUT=""
18 #GRUB_TERMINAL_OUTPUT=""
19 # Uncomment to disable graphical terminal (grub-pc only)
20 #GRUB_TERMINAL=console
22 #GRUB_SERIAL_COMMAND=""
24 #GRUB_CMDLINE_LINUX=""
25 #GRUB_CMDLINE_LINUX_DEFAULT=""
27 #GRUB_VIDEO_BACKEND=
28 #GRUB_BACKGROUND=
29 #GRUB_THEME=
30 #GRUB_GFXPAYLOAD_LINUX=
31 # The resolution used on graphical terminal
32 # note that you can use only modes which your graphic card supports via VBE
33 # you can see them in real GRUB with the command `vbeinfo'
34 #GRUB_GFXMODE=640x480
36 #GRUB_DISABLE_OS_PROBER=true
37 #GRUB_OS_PROBER_SKIP_LIST=""
39 #GRUB_DISABLE_SUBMENU=y
40 # Uncomment to disable generation of recovery mode menu entries
41 #GRUB_DISABLE_RECOVERY="true"
43 #GRUB_ENABLE_CRYPTODISK=y
45 # Uncomment to get a beep at grub start
46 #GRUB_INIT_TUNE="480 440 1"
48 #GRUB_PRELOAD_MODULES=""
50 # Uncomment to enable BadRAM filtering, modify to suit your needs
51 # This works with Linux (no patch required) and with any kernel that obtains
52 # the memory map information from GRUB (GNU Mach, kernel of FreeBSD ...)
53 #GRUB_BADRAM="0x01234567,0xfefefefe,0x89abcdef,0xefefefef"
55 # Uncomment if you don't want GRUB to pass "root=UUID=xxx" parameter to Linux
56 #GRUB_DISABLE_LINUX_UUID=true