vbatts
/
grub
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

2009-04-13 Robert Millan <rmh@aybabtu.com> 

* util/grub.d/10_freebsd.in: Detect Debian GNU/kFreeBSD and use
        that name for menuentries when appropiate.
This commit is contained in:
robertmh 2009-04-13 19:48:44 +00:00
parent fbb4848ac0
commit 7ebc2d6ba6
2 changed files with 12 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
ChangeLog
View File

@ -1,3 +1,8 @@
2009-04-13 Robert Millan <rmh@aybabtu.com>
* util/grub.d/10_freebsd.in: Detect Debian GNU/kFreeBSD and use
that name for menuentries when appropiate.
2009-04-13 Felix Zielcke <fzielcke@z-51.de>
* util/grub.d/10_freebsd.in: Add a missing `fi'.

9
util/grub.d/10_freebsd.in
View File

@ -1,7 +1,7 @@
#! /bin/sh -e
# grub-mkconfig helper script.
# Copyright (C) 2008 Free Software Foundation, Inc.
# 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
@ -21,6 +21,11 @@ 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/devices.hints ; then
devices=/boot/devices.hints
fi
@ -51,7 +56,7 @@ if [ "x$kfreebsd" != "x" ] ; then
kfreebsd_fs=${GRUB_FS}
cat << EOF
menuentry "FreeBSD" {
menuentry "${OS}" {
EOF
prepare_grub_to_access_device ${GRUB_DEVICE_BOOT} | sed -e "s/^/\t/"
cat << EOF