wok-current diff grub2/receipt @ 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 996067d113c6
children 1049482a1a19
line diff
     1.1 --- a/grub2/receipt	Mon Dec 09 16:05:14 2019 +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