From 70de4a0486378d418111537944049911efb6dc50 Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Mon, 21 Dec 2009 14:40:38 +0100 Subject: Now that GRUB 2 is working, I don't see the need anymore for fixing GRUB Legacy. --- open_issues/grub_legacy/grub-install.patch | 23 ----------------------- 1 file changed, 23 deletions(-) delete mode 100644 open_issues/grub_legacy/grub-install.patch (limited to 'open_issues/grub_legacy/grub-install.patch') diff --git a/open_issues/grub_legacy/grub-install.patch b/open_issues/grub_legacy/grub-install.patch deleted file mode 100644 index 3f6341b4..00000000 --- a/open_issues/grub_legacy/grub-install.patch +++ /dev/null @@ -1,23 +0,0 @@ -2005-08-23 Thomas Schwinge - - * 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 -- cgit v1.2.3