code style; einfo GRUB_INSTALL; document GRUB_INSTALL

grml · Sep 9, 2018 · 3104633 · 3104633
1 parent 0b1b798
commit 3104633
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/config b/config
@@ -24,6 +24,10 @@
 # TARGET='/mnt/grml' # install into directory /mnt/grml
 
 # Install the grub bootloader?
+# Default: 'yes'
+# Usage example:
+# GRUB_INSTALL='no' # Do not install the grub bootloader.
+
 # Specify the device where grub will be installed.
 # Note: grub can not be installed into a partition.
 # Default: no default. (Grub will not be installed.)

diff --git a/grml-debootstrap b/grml-debootstrap
@@ -1447,8 +1447,9 @@ grub_install() {
   if [ -z "${VIRTUAL}" ] ; then
      return 0
   fi
-  if [ ! "$GRUB_INSTALL" = "yes" ]; then
-     return 0
+  if [ "${GRUB_INSTALL}" != "yes" ] ; then
+    einfo "Not installing GRUB as requested via \$GRUB_INSTALL=$GRUB_INSTALL"
+    return 0
   fi
 
   if ! mount "${TARGET}" "${MNTPOINT}" ; then