From 6c7a752ed91531ad205f5397606c00260859c33c Mon Sep 17 00:00:00 2001 From: Bohan Yang Date: Fri, 8 Jan 2021 16:04:39 +0800 Subject: [PATCH] Update debi.sh --- debi.sh | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/debi.sh b/debi.sh index db67d70..d022a9b 100755 --- a/debi.sh +++ b/debi.sh @@ -534,7 +534,7 @@ EOF [ "$power_off" = true ] && echo 'd-i debian-installer/exit/poweroff boolean true' | $save_preseed -save_grub_cfg='cat' +save_grub_cfg='cat 1>&2' if [ "$dry_run" != true ]; then if [ -z "$architecture" ]; then architecture=amd64 @@ -565,6 +565,13 @@ if [ "$dry_run" != true ]; then cd .. + mkdir -p /etc/default/grub.d + tee /etc/default/grub.d/zz-debi.cfg 1>&2 << 'EOF' +GRUB_DEFAULT=0 +GRUB_TIMEOUT=5 +GRUB_TIMEOUT_STYLE=menu +EOF + if command_exists update-grub; then grub_cfg=/boot/grub/grub.cfg update-grub