Update debi.sh

pull/8/head
Bohan Yang 5 years ago committed by GitHub
parent 69990f0e70
commit 6c7a752ed9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 9
      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

Loading…
Cancel
Save