Use UUID for boot device

diff --git a/share/hydractl/provision b/share/hydractl/provision
index 32a2b7a59e2f07d0629d40ce0364a5df8fe400ed..24796a9fd15b2769bed4ae9c3106e2293d1c901f 100755 (executable)
--- a/share/hydractl/provision
+++ b/share/hydractl/provision
@@ -208,10 +208,11 @@ else
     # Use UUID
     # Give time to devices table be updated
     #sleep 2
-    #reboot_device="`blkid | grep ^$boot_device: | cut -d ' ' -f 2 | sed -e 's/"//g'`"
+    reboot_device="`blkid | grep ^$boot_device: | cut -d ' ' -f 2 | sed -e 's/"//g'`"
 
-    # Use device name
-    reboot_device="$boot_device"
+    # Use device name: might lead to wrong results:
+    # During install boot_device might be /dev/sdb2, but on but be /dev/sda2
+    #reboot_device="$boot_device"
   fi
 fi