code style; einfo GRUB_INSTALL; document GRUB_INSTALL
authorPatrick Schleizer <adrelanos@riseup.net>
Sun, 9 Sep 2018 16:24:09 +0000 (12:24 -0400)
committerPatrick Schleizer <adrelanos@riseup.net>
Sun, 9 Sep 2018 16:24:09 +0000 (12:24 -0400)
config
grml-debootstrap

diff --git a/config b/config
index 6638a44..ba57247 100644 (file)
--- a/config
+++ b/config
 # 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.)
index 1a44c7b..4670144 100755 (executable)
@@ -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