From d236709457519cbaa5df568b5dff92e13ac19036 Mon Sep 17 00:00:00 2001 From: Joachim Nilsson Date: Thu, 12 Oct 2017 22:26:24 +0200 Subject: [PATCH] Minor, script output updates Signed-off-by: Joachim Nilsson --- contrib/debian/install.sh | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/contrib/debian/install.sh b/contrib/debian/install.sh index 6efd1818..570fa245 100755 --- a/contrib/debian/install.sh +++ b/contrib/debian/install.sh @@ -42,6 +42,12 @@ if [ "x$yorn" = "xy" -o "x$yorn" = "xY" ]; then ROOT=`grep root=UUID /boot/grub/grub.cfg |head -1 |sed 's/.*UUID=\([a-f0-9]*-[a-f0-9]*-[a-f0-9]*-[a-f0-9]*-[a-f0-9]*\).*/\1/'` cat grub.d/40_custom | sed "s,\$BOOT,$BOOT,;s,\$ROOT,$ROOT,;s,\$TYPE,$TYPE,;s,\$MENU,$MENU," >/etc/grub.d/40_custom update-grub + + echo + echo "*** Done" + echo else - echo "Aborting install." + echo + echo "*** Aborting install." + echo fi