arch/pkg/de-p1st-grub/grub.holoscript

#!/bin/sh
# stdin: default config
# stdout: modified config
set -e

# 1) and 2) remember last selected entry; 3) disable submenu
sed '
  s|^GRUB_DEFAULT=0$|GRUB_DEFAULT=saved|;
  s|^#GRUB_SAVEDEFAULT="true"$|#GRUB_SAVEDEFAULT="true"|;
  s|^#GRUB_DISABLE_SUBMENU=y$|GRUB_DISABLE_SUBMENU=y|;
'
grub: remember selected menu entry 2021-05-03 16:12:27 +02:00			`#!/bin/sh`
			`# stdin: default config`
			`# stdout: modified config`
refactor and fix 2021-09-10 15:59:33 +02:00			`set -e`
grub: remember selected menu entry 2021-05-03 16:12:27 +02:00
			`# 1) and 2) remember last selected entry; 3) disable submenu`
			`sed '`
			`s\|^GRUB_DEFAULT=0$\|GRUB_DEFAULT=saved\|;`
			`s\|^#GRUB_SAVEDEFAULT="true"$\|#GRUB_SAVEDEFAULT="true"\|;`
			`s\|^#GRUB_DISABLE_SUBMENU=y$\|GRUB_DISABLE_SUBMENU=y\|;`
			`'`