Add debian/gbp.conf to handle this repository layout

[kboot-utils.git] / kboot-mkconfig_lib

diff --git a/kboot-mkconfig_lib b/kboot-mkconfig_lib
index 3cac70c..155cca0 100644 (file)
--- a/kboot-mkconfig_lib
+++ b/kboot-mkconfig_lib
@@ -1,7 +1,7 @@
 # kboot-mkconfig helper script.
 # Copyright (C) 2011  Antonio Ospite <ospite@studenti.unina.it>
 #
-# Inspired by the 10_linux script from kboot
+# Inspired by the 10_linux script from grub
 #
 # This program is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
@@ -21,7 +21,9 @@ exec_prefix=${prefix}
 bindir=${exec_prefix}/bin
 libdir=${exec_prefix}/lib
 
-LINUX_ROOT_DEVICE="$(readlink -f $(mount | grep ' / ' | cut -d ' ' -f 1))"
+# TODO: remove this if the following find_linux_root_device()
+# is found to be reliable enough
+#LINUX_ROOT_DEVICE="$(readlink -f $(mount | grep ' / ' | cut -d ' ' -f 1))"
 
 if $(which gettext >/dev/null 2>/dev/null) ; then
   gettext="gettext"
@@ -87,6 +89,21 @@ version_find_latest ()
   echo "$a"
 }
 
+linux_find_root_device() {
+  RDEV=$(mountpoint -d /)
+
+  for devnode in $(find /dev);
+  do
+    if [ $(stat --printf="%t:%T" "$devnode") = $RDEV ];
+    then
+      ROOTDEVICE="$devnode"
+      break
+    fi
+  done
+
+  echo "$ROOTDEVICE"
+}
+
 linux_entry ()
 {
   os="$1"
@@ -125,7 +142,9 @@ list_kernels ()
     
     version=`echo $basename | sed -e "s,^[^0-9]*-,,g"`
     alt_version=`echo $version | sed -e "s,\.old$,,g"`
-    linux_root_device_thisversion="${LINUX_ROOT_DEVICE}"
+    # TODO: remove this too 
+    #linux_root_device_thisversion="${LINUX_ROOT_DEVICE}"
+    linux_root_device_thisversion=linux_find_root_device
 
     initrd=
     for i in "initrd.img-${version}" "initrd-${version}.img" \