diff options
| author | Thomas Schwinge <Thomas Schwinge schwinge@nic-nac-project.de> | 2009-05-23 15:42:08 +0200 |
|---|---|---|
| committer | Thomas Schwinge <Thomas Schwinge schwinge@nic-nac-project.de> | 2009-05-23 15:42:08 +0200 |
| commit | 57819e92d59e580ac549dcbe1112bc1b6f705b65 (patch) | |
| tree | b55980b374ec7b0634fc80e88b3c1083a0129af1 /open_issues/grub_legacy | |
| parent | 57faf3e005fe5043cf2b73eb5adbf02957bff326 (diff) | |
| download | web-57819e92d59e580ac549dcbe1112bc1b6f705b65.tar.gz web-57819e92d59e580ac549dcbe1112bc1b6f705b65.tar.bz2 web-57819e92d59e580ac549dcbe1112bc1b6f705b65.zip | |
Add my notes and patch from 2005-08-23.
Diffstat (limited to 'open_issues/grub_legacy')
| -rw-r--r-- | open_issues/grub_legacy/grub-install.patch | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/open_issues/grub_legacy/grub-install.patch b/open_issues/grub_legacy/grub-install.patch new file mode 100644 index 00000000..3f6341b4 --- /dev/null +++ b/open_issues/grub_legacy/grub-install.patch @@ -0,0 +1,23 @@ +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 |