]> git.ipfire.org Git - thirdparty/grub.git/commitdiff
2009-10-26 Robert Millan <rmh.grub@aybabtu.com>
authorrobertmh <robertmh@localhost>
Mon, 26 Oct 2009 00:38:26 +0000 (00:38 +0000)
committerrobertmh <robertmh@localhost>
Mon, 26 Oct 2009 00:38:26 +0000 (00:38 +0000)
        * util/grub.d/10_freebsd.in: Remove.

ChangeLog
util/grub.d/10_freebsd.in [deleted file]

index 123a52cb6d3c752ece0e456e5884f7210c7215c9..597dcafcb074dde1b0451dcac48865c25f6d9d1d 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2009-10-26  Robert Millan  <rmh.grub@aybabtu.com>
+
+       * util/grub.d/10_freebsd.in: Remove.
+
 2009-10-25  Robert Millan  <rmh.grub@aybabtu.com>
 
        * util/i386/pc/grub-setup.c (setup): Add missing parameter to
diff --git a/util/grub.d/10_freebsd.in b/util/grub.d/10_freebsd.in
deleted file mode 100644 (file)
index 02694d3..0000000
+++ /dev/null
@@ -1,76 +0,0 @@
-#! /bin/sh -e
-
-# grub-mkconfig helper script.
-# Copyright (C) 2008,2009  Free Software Foundation, Inc.
-#
-# GRUB is free software: you can redistribute it and/or modify
-# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation, either version 3 of the License, or
-# (at your option) any later version.
-#
-# GRUB is distributed in the hope that it will be useful,
-# but WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-# GNU General Public License for more details.
-#
-# You should have received a copy of the GNU General Public License
-# along with GRUB.  If not, see <http://www.gnu.org/licenses/>.
-
-prefix=@prefix@
-exec_prefix=@exec_prefix@
-libdir=@libdir@
-. ${libdir}/grub/grub-mkconfig_lib
-
-case "${GRUB_DISTRIBUTOR}" in
-  Debian)      OS="${GRUB_DISTRIBUTOR} GNU/kFreeBSD" ;;
-  *)           OS="FreeBSD" ;;
-esac
-
-if test -e /boot/device.hints ; then
-  devices=/boot/device.hints
-fi
-
-if test -e /boot/kernel/kernel ; then
-  kfreebsd=/boot/kernel/kernel
-fi
-if test -e /boot/kernel/kernel.gz ; then
-  kfreebsd=/boot/kernel/kernel.gz
-fi
-
-if [ "x$kfreebsd" != "x" ] ; then
-  echo "Found kernel of FreeBSD: $kfreebsd" >&2
-
-  kfreebsd_basename=`basename $kfreebsd`
-  kfreebsd_dirname=`dirname $kfreebsd`
-  kfreebsd_rel_dirname=`make_system_path_relative_to_its_root $kfreebsd_dirname`
-
-  if [ x"$devices" != "x" ] ; then
-    devices_basename=`basename $devices`
-    devices_dirname=`dirname $devices`
-    devices_rel_dirname=`make_system_path_relative_to_its_root $devices_dirname`
-  fi
-
-  case ${GRUB_FS} in
-    ufs1 | ufs2)       kfreebsd_fs=ufs ;;
-    *)                 kfreebsd_fs=${GRUB_FS} ;;
-  esac
-
-  cat << EOF
-menuentry "${OS}" {
-EOF
-  prepare_grub_to_access_device ${GRUB_DEVICE_BOOT} | sed -e "s/^/\t/"
-  cat << EOF
-       kfreebsd                        ${kfreebsd_rel_dirname}/${kfreebsd_basename}
-EOF
-
-  if [ x"$devices" != "x" ] ; then
-    cat << EOF
-       kfreebsd_loadenv                ${devices_rel_dirname}/${devices_basename}
-EOF
-  fi
-  cat << EOF
-       set kFreeBSD.vfs.root.mountfrom=${kfreebsd_fs}:${GRUB_DEVICE}
-       set kFreeBSD.vfs.root.mountfrom.options=rw
-}
-EOF
-fi