# HG changeset patch # User Hans-G?nter Theisgen # Date 1616656749 -3600 # Node ID 70ff687a5c7f84f96b5926dd508c3f642428d7f6 # Parent 5d63651829f602256dc6ecb63cea961aa6c87953 grub2: added /etc/default/grub diff -r 5d63651829f6 -r 70ff687a5c7f grub2/receipt --- a/grub2/receipt Wed Mar 24 16:32:15 2021 +0100 +++ b/grub2/receipt Thu Mar 25 08:19:09 2021 +0100 @@ -34,6 +34,7 @@ genpkg_rules() { mkdir -p $fs/boot/grub + mkdir -p $fs/etc/default mkdir -p $fs/usr cp -a $install/usr/bin $fs/usr @@ -41,6 +42,8 @@ cp -a $install/usr/share $fs/usr cp -a $install/usr/lib $fs/usr cp -a $install/etc $fs + + cp -a stuff/etc-default-grub $fs/etc/default/grub # Example configuration file (grub.cfg). cp stuff/example-grub.cfg $fs/boot/grub @@ -49,9 +52,12 @@ post_install() { cat < /dev/null || echo SliTaz` + +#GRUB_DEFAULT=saved +#GRUB_SAVEDEFAULT=true + +#GRUB_TIMEOUT=5 +#GRUB_TIMEOUT_STYLE=menu +#GRUB_HIDDEN_TIMEOUT=0 +#GRUB_HIDDEN_TIMEOUT_QUIET=true + +#GRUB_TERMINAL_INPUT="" +#GRUB_TERMINAL_OUTPUT="" +# Uncomment to disable graphical terminal (grub-pc only) +#GRUB_TERMINAL=console + +#GRUB_SERIAL_COMMAND="" + +#GRUB_CMDLINE_LINUX="" +#GRUB_CMDLINE_LINUX_DEFAULT="" + +#GRUB_VIDEO_BACKEND= +#GRUB_BACKGROUND= +#GRUB_THEME= +#GRUB_GFXPAYLOAD_LINUX= +# The resolution used on graphical terminal +# note that you can use only modes which your graphic card supports via VBE +# you can see them in real GRUB with the command `vbeinfo' +#GRUB_GFXMODE=640x480 + +#GRUB_DISABLE_OS_PROBER=true +#GRUB_OS_PROBER_SKIP_LIST="" + +#GRUB_DISABLE_SUBMENU=y +# Uncomment to disable generation of recovery mode menu entries +#GRUB_DISABLE_RECOVERY="true" + +#GRUB_ENABLE_CRYPTODISK=y + +# Uncomment to get a beep at grub start +#GRUB_INIT_TUNE="480 440 1" + +#GRUB_PRELOAD_MODULES="" + +# Uncomment to enable BadRAM filtering, modify to suit your needs +# This works with Linux (no patch required) and with any kernel that obtains +# the memory map information from GRUB (GNU Mach, kernel of FreeBSD ...) +#GRUB_BADRAM="0x01234567,0xfefefefe,0x89abcdef,0xefefefef" + +# Uncomment if you don't want GRUB to pass "root=UUID=xxx" parameter to Linux +#GRUB_DISABLE_LINUX_UUID=true