2005-08-23  Thomas Schwinge  <tschwinge@gnu.org>

	* grub-install (find_device): Rough port for GNU/Hurd.


--- grub-install.orig	2005-08-23 16:56:02.000000000 +0200
+++ grub-install	2005-08-23 17:01:55.000000000 +0200
@@ -263,7 +263,14 @@
 find_device () {
     # For now, this uses the program `df' to get the device name, but is
     # this really portable?
-    tmp_fname=`df $1/ | sed -n 's%.*\(/dev/[^ 	]*\).*%\1%p'`
+    # No.  (Not even on GNU/Linux.)  - Thomas Schwinge
+
+    case $host_os in
+	gnu*) # TODO: What about using multiple devices?
+	    tmp_fname=`fsysopts $1/  | sed -n 's%.*device:\([^   ]*\).*%/dev/\1%p'`;;
+	*)
+	    tmp_fname=`df $1/ | sed -n 's%.*\(/dev/[^ 	]*\).*%\1%p'`;;
+    esac
 
     if test -z "$tmp_fname"; then
 	echo "Could not find device for $1" 2>&1