Setting boot device just for systems with GRUB

diff --git a/share/hydractl/provision b/share/hydractl/provision
index 12e27da98caa9bfdf1fa543d9825005fbeceacdd..de03fcfb10fcb879a7788b413fc73350cc80ba56 100755 (executable)
--- a/share/hydractl/provision
+++ b/share/hydractl/provision
@@ -132,14 +132,13 @@ else
 EOF
 fi
 
-# Boot.
-echo "Boot device setup..."
-mkfs.ext3 "$device"2
-mount "$device"2 /tmp/debootstrap/boot
-echo "$device""2 /boot ext3 defaults,errors=remount-ro 0 2" >> /tmp/debootstrap/etc/fstab
-
 # Grub.
 if [ "$grub" == "y" ]; then
+  echo "Boot device setup..."
+  mkfs.ext3 "$device"2
+  mount "$device"2 /tmp/debootstrap/boot
+  echo "$device""2 /boot ext3 defaults,errors=remount-ro 0 2" >> /tmp/debootstrap/etc/fstab
+
   echo "Setting up GRUB..."
   chroot /tmp/debootstrap/ apt-get install grub-pc -y
   grub-install --no-floppy "$device"