| #! /bin/sh |
| set -e |
| |
| # grub-mkconfig helper script. |
| # Copyright (C) 2006,2007,2008,2009,2010 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@" |
| datarootdir="@datarootdir@" |
| |
| export TEXTDOMAIN=@PACKAGE@ |
| export TEXTDOMAINDIR="@localedir@" |
| |
| . "$pkgdatadir/grub-mkconfig_lib" |
| |
| CLASS="--class gnu --class os" |
| |
| if [ "x${GRUB_DISTRIBUTOR}" = "x" ] ; then |
| OS=GNU |
| else |
| OS="${GRUB_DISTRIBUTOR} GNU/Hurd" |
| CLASS="--class $(echo ${GRUB_DISTRIBUTOR} | tr 'A-Z' 'a-z' | cut -d' ' -f1|LC_ALL=C sed 's,[^[:alnum:]_],_,g') ${CLASS}" |
| fi |
| |
| at_least_one=false |
| all_of_them=true |
| |
| # FIXME: add l4 here? |
| kernel= |
| for i in /boot/gnumach* ; do |
| if test -e $i ; then |
| basename=`basename $i` |
| dirname=`dirname $i` |
| rel_dirname=`make_system_path_relative_to_its_root $dirname` |
| gettext_printf "Found GNU Mach: %s" "$i" >&2 |
| echo >&2 |
| kernels="${kernels} ${rel_dirname}/${basename}" |
| at_least_one=true |
| fi |
| done |
| |
| # FIXME: This works for ext2. For other filesystems we might need special-casing |
| case "${GRUB_FS}" in |
| *fs) hurd_fs="${GRUB_FS}" ;; |
| *) hurd_fs="${GRUB_FS}fs" ;; |
| esac |
| |
| for i in /hurd/${hurd_fs}.static /hurd/exec ; do |
| if test -e "$i" ; then |
| gettext_printf "Found Hurd module: %s" "$i" >&2 |
| echo >&2 |
| at_least_one=true |
| else |
| all_of_them=false |
| fi |
| done |
| |
| if ${at_least_one} ; then : ; else |
| # no hurd here, aborting silently |
| exit 0 |
| fi |
| |
| if ${all_of_them} && test -e /lib/ld.so.1 ; then : ; else |
| gettext "Some Hurd stuff found, but not enough to boot." >&2 |
| echo >&2 |
| exit 1 |
| fi |
| |
| title_correction_code= |
| |
| hurd_entry () { |
| kernel="$1" |
| type="$2" |
| kernel_base="`basename "${kernel}"`" |
| |
| if [ x$type != xsimple ] ; then |
| if [ x$type = xrecovery ] ; then |
| title="$(gettext_printf "%s, with Hurd %s (recovery mode)" "${OS}" "${kernel_base}")" |
| oldtitle="$OS using $kernel_base (recovery mode)" |
| else |
| title="$(gettext_printf "%s, with Hurd %s" "${OS}" "${kernel_base}")" |
| oldtitle="$OS using $kernel_base" |
| fi |
| if [ x"$oldtitle" = x"$GRUB_ACTUAL_DEFAULT" ]; then |
| quoted="$(echo "$GRUB_ACTUAL_DEFAULT" | grub_quote)" |
| title_correction_code="${title_correction_code}if [ \"x\$default\" = '$quoted' ]; then default='$(echo "$replacement_title" | grub_quote)'; fi;" |
| grub_warn "$(gettext_printf "Please don't use old title \`%s' for GRUB_DEFAULT, use \`%s' (for versions before 2.00) or \`%s' (for 2.00 or later)" "$GRUB_ACTUAL_DEFAULT" "$replacement_title" "gnuhurd-advanced-$boot_device_id>'gnuhurd-$kernel-$type-$(grub_get_device_id "${GRUB_DEVICE_BOOT}")'")" |
| fi |
| sed "s/^/$submenu_indentation/" << EOF |
| menuentry '$(echo "$title" | grub_quote)' ${CLASS} \$menuentry_id_option 'gnuhurd-$kernel-$type-$(grub_get_device_id "${GRUB_DEVICE_BOOT}")' { |
| EOF |
| else |
| sed "s/^/$submenu_indentation/" << EOF |
| menuentry '$(echo "$OS" | grub_quote)' ${CLASS} \$menuentry_id_option 'gnuhurd-simple-$(grub_get_device_id "${GRUB_DEVICE_BOOT}")' { |
| EOF |
| fi |
| |
| prepare_grub_to_access_device "${GRUB_DEVICE_BOOT}" | grub_add_tab|sed "s/^/$submenu_indentation/" |
| message="$(gettext_printf "Loading GNU Mach ...")" |
| |
| if [ x$type = xrecovery ] ; then |
| opts="-s" |
| else |
| opts= |
| fi |
| sed "s/^/$submenu_indentation/" << EOF |
| echo '$(echo "$message" | grub_quote)' |
| multiboot ${kernel} root=device:${GRUB_DEVICE#/dev/} $opts ${GRUB_CMDLINE_GNUMACH} |
| EOF |
| |
| if [ x$type != xrecovery ] ; then |
| save_default_entry | grub_add_tab| sed "s/^/$submenu_indentation/" |
| fi |
| prepare_grub_to_access_device "${GRUB_DEVICE}" | grub_add_tab| sed "s/^/$submenu_indentation/" |
| message="$(gettext_printf "Loading the Hurd ...")" |
| if [ x$type = xrecovery ] ; then |
| opts= |
| else |
| opts="--readonly" |
| fi |
| |
| sed "s/^/$submenu_indentation/" << EOF |
| echo '$(echo "$message" | grub_quote)' |
| module /hurd/${hurd_fs}.static ${hurd_fs} $opts \\ |
| --multiboot-command-line='\${kernel-command-line}' \\ |
| --host-priv-port='\${host-port}' \\ |
| --device-master-port='\${device-port}' \\ |
| --exec-server-task='\${exec-task}' -T typed '\${root}' \\ |
| '\$(task-create)' '\$(task-resume)' |
| module /lib/ld.so.1 exec /hurd/exec '\$(exec-task=task-create)' |
| } |
| EOF |
| |
| } |
| |
| title_correction_code= |
| |
| # Extra indentation to add to menu entries in a submenu. We're not in a submenu |
| # yet, so it's empty. In a submenu it will be equal to '\t' (one tab). |
| submenu_indentation="" |
| is_top_level=true |
| |
| while [ "x$kernels" != "x" ] ; do |
| kernel=`version_find_latest $kernels` |
| |
| if [ "x$is_top_level" = xtrue ] && [ "x${GRUB_DISABLE_SUBMENU}" != xy ]; then |
| hurd_entry "$kernel" simple |
| submenu_indentation="$grub_tab" |
| |
| # TRANSLATORS: %s is replaced with an OS name |
| echo "submenu '$(gettext_printf "Advanced options for %s" "${OS}" | grub_quote)' \$menuentry_id_option 'gnuhurd-advanced-$(grub_get_device_id "${GRUB_DEVICE_BOOT}")' {" |
| is_top_level=false |
| fi |
| |
| hurd_entry "$kernel" advanced |
| hurd_entry "$kernel" recovery |
| |
| kernels=`echo $kernels | tr ' ' '\n' | fgrep -vx "$kernel" | tr '\n' ' '` |
| done |
| |
| # If at least one kernel was found, then we need to |
| # add a closing '}' for the submenu command. |
| if [ x"$is_top_level" != xtrue ]; then |
| echo '}' |
| fi |
| |
| echo "$title_correction_code" |