fix for bug 3417: use UUID in grub config file

1 files changed, 12 insertions, 3 deletions

diff --git a/scripts/install-system b/scripts/install-system
index 5a9c0309..b5eefe62 100755
--- a/scripts/install-system
+++ b/scripts/install-system
@@ -479,7 +479,15 @@ install_root_filesystem () {
   output=$(umount /mnt/squashfs)
 
   # create the fstab
-  echo -e "/dev/$ROOT_PARTITION\t/\text3\tdefaults\t0 1" >> $rootfsdir/etc/fstab
+  local rootdev="/dev/$ROOT_PARTITION";
+  uuid=$(dumpe2fs -h $rootdev 2>/dev/null | awk '/^Filesystem UUID/ {print $3}')
+  if [ -z "$uuid" ]
+  then
+      echo "Unable to read filesystem UUID.  Exiting."
+      exit 1
+  else
+    echo -e "UUID=$uuid\t/\text3\tdefaults\t0 1" >> $rootfsdir/etc/fstab
+  fi
 
   #setup the hostname file
   cp /etc/hostname $rootfsdir/etc/
@@ -632,9 +640,10 @@ install_grub () {
   # This allows device to move around and grub will still find it
   local rootdev="/dev/$ROOT_PARTITION";
   uuid=$(dumpe2fs -h $rootdev 2>/dev/null | awk '/^Filesystem UUID/ {print $3}')
-  if [ -z $uuid ]
+  if [ -z "$uuid" ]
   then
-      GRUB_ROOT="root=$rootdev ro"
+      echo "Unable to read filesystem UUID.  Exiting."
+      exit 1
   else
       GRUB_ROOT="root=UUID=$uuid ro"
   fi