diff options
author | Joachim Nilsson <troglobit@gmail.com> | 2017-10-12 22:26:24 +0200 |
---|---|---|
committer | Joachim Nilsson <troglobit@gmail.com> | 2017-10-12 22:26:24 +0200 |
commit | d236709457519cbaa5df568b5dff92e13ac19036 (patch) | |
tree | c097607d01cabfd6814340ded46ff3f120325cc9 | |
parent | 07790f40443af31bb57a72f40323cee1d4fc9a28 (diff) | |
download | finit-d236709457519cbaa5df568b5dff92e13ac19036.zip finit-d236709457519cbaa5df568b5dff92e13ac19036.tar.gz finit-d236709457519cbaa5df568b5dff92e13ac19036.tar.bz2 |
Minor, script output updates
Signed-off-by: Joachim Nilsson <troglobit@gmail.com>
-rwxr-xr-x | contrib/debian/install.sh | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/contrib/debian/install.sh b/contrib/debian/install.sh index 6efd181..570fa24 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 |