wok rev 24028
grub2: added /etc/default/grub
author | Hans-G?nter Theisgen |
---|---|
date | Thu Mar 25 08:19:09 2021 +0100 (2021-03-25) |
parents | 5d63651829f6 |
children | 1049482a1a19 |
files | grub2/receipt grub2/stuff/etc-default-grub |
line diff
1.1 --- a/grub2/receipt Wed Mar 24 16:32:15 2021 +0100 1.2 +++ b/grub2/receipt Thu Mar 25 08:19:09 2021 +0100 1.3 @@ -34,6 +34,7 @@ 1.4 genpkg_rules() 1.5 { 1.6 mkdir -p $fs/boot/grub 1.7 + mkdir -p $fs/etc/default 1.8 mkdir -p $fs/usr 1.9 1.10 cp -a $install/usr/bin $fs/usr 1.11 @@ -41,6 +42,8 @@ 1.12 cp -a $install/usr/share $fs/usr 1.13 cp -a $install/usr/lib $fs/usr 1.14 cp -a $install/etc $fs 1.15 + 1.16 + cp -a stuff/etc-default-grub $fs/etc/default/grub 1.17 1.18 # Example configuration file (grub.cfg). 1.19 cp stuff/example-grub.cfg $fs/boot/grub 1.20 @@ -49,9 +52,12 @@ 1.21 post_install() 1.22 { 1.23 cat <<EOT 1.24 -# To install grub to MBR on device sda 1.25 +# To install GRUB to MBR on device sda 1.26 grub-install /dev/sda 1.27 1.28 +# To modify GRUB defaults, edit 1.29 +/etc/default/grub 1.30 + 1.31 # To generate a configuration file 1.32 grub-mkconfig -o /boot/grub/grub.cfg 1.33
2.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 2.2 +++ b/grub2/stuff/etc-default-grub Thu Mar 25 08:19:09 2021 +0100 2.3 @@ -0,0 +1,56 @@ 2.4 +# If you change this file, run 2.5 +# grub-mkconfig -o /boot/grub/grub.cfg. 2.6 +# afterwards. 2.7 +# For full documentation of the options in this file, see: 2.8 +# https://www.gnu.org/software/grub/manual/grub/html_node/Simple-configuration.html 2.9 + 2.10 +GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo SliTaz` 2.11 + 2.12 +#GRUB_DEFAULT=saved 2.13 +#GRUB_SAVEDEFAULT=true 2.14 + 2.15 +#GRUB_TIMEOUT=5 2.16 +#GRUB_TIMEOUT_STYLE=menu 2.17 +#GRUB_HIDDEN_TIMEOUT=0 2.18 +#GRUB_HIDDEN_TIMEOUT_QUIET=true 2.19 + 2.20 +#GRUB_TERMINAL_INPUT="" 2.21 +#GRUB_TERMINAL_OUTPUT="" 2.22 +# Uncomment to disable graphical terminal (grub-pc only) 2.23 +#GRUB_TERMINAL=console 2.24 + 2.25 +#GRUB_SERIAL_COMMAND="" 2.26 + 2.27 +#GRUB_CMDLINE_LINUX="" 2.28 +#GRUB_CMDLINE_LINUX_DEFAULT="" 2.29 + 2.30 +#GRUB_VIDEO_BACKEND= 2.31 +#GRUB_BACKGROUND= 2.32 +#GRUB_THEME= 2.33 +#GRUB_GFXPAYLOAD_LINUX= 2.34 +# The resolution used on graphical terminal 2.35 +# note that you can use only modes which your graphic card supports via VBE 2.36 +# you can see them in real GRUB with the command `vbeinfo' 2.37 +#GRUB_GFXMODE=640x480 2.38 + 2.39 +#GRUB_DISABLE_OS_PROBER=true 2.40 +#GRUB_OS_PROBER_SKIP_LIST="" 2.41 + 2.42 +#GRUB_DISABLE_SUBMENU=y 2.43 +# Uncomment to disable generation of recovery mode menu entries 2.44 +#GRUB_DISABLE_RECOVERY="true" 2.45 + 2.46 +#GRUB_ENABLE_CRYPTODISK=y 2.47 + 2.48 +# Uncomment to get a beep at grub start 2.49 +#GRUB_INIT_TUNE="480 440 1" 2.50 + 2.51 +#GRUB_PRELOAD_MODULES="" 2.52 + 2.53 +# Uncomment to enable BadRAM filtering, modify to suit your needs 2.54 +# This works with Linux (no patch required) and with any kernel that obtains 2.55 +# the memory map information from GRUB (GNU Mach, kernel of FreeBSD ...) 2.56 +#GRUB_BADRAM="0x01234567,0xfefefefe,0x89abcdef,0xefefefef" 2.57 + 2.58 +# Uncomment if you don't want GRUB to pass "root=UUID=xxx" parameter to Linux 2.59 +#GRUB_DISABLE_LINUX_UUID=true