From 07d5375d89760a44015978d48bf15e4270fa0fcf Mon Sep 17 00:00:00 2001 From: Bohan Yang Date: Fri, 8 Jan 2021 22:06:15 +0800 Subject: [PATCH] Update debi.sh --- debi.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/debi.sh b/debi.sh index b8139c3..a5c29e9 100755 --- a/debi.sh +++ b/debi.sh @@ -579,7 +579,10 @@ EOF update-grub elif command_exists grub2-mkconfig; then tmp="$(mktemp)" - grep -vF /etc/default/grub + grep -vF zz_debi /etc/default/grub > "$tmp" + cat "$tmp" > /etc/default/grub + rm "$tmp" + echo 'zz_debi=/etc/default/grub.d/zz-debi.cfg; if [ -f "$zz_debi" ]; then . "$zz_debi"; fi' >> /etc/default/grub grub_cfg=/boot/grub2/grub.cfg grub2-mkconfig -o "$grub_cfg" else