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