util/grub-set-default.in

   1 #! /bin/sh
   2 #
   3 # Set a default boot entry for GRUB.
   4 # Copyright (C) 2004,2009  Free Software Foundation, Inc.
   5 #
   6 # GRUB is free software: you can redistribute it and/or modify
   7 # it under the terms of the GNU General Public License as published by
   8 # the Free Software Foundation, either version 3 of the License, or
   9 # (at your option) any later version.
  10 #
  11 # GRUB is distributed in the hope that it will be useful,
  12 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  13 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14 # GNU General Public License for more details.
  15 #
  16 # You should have received a copy of the GNU General Public License
  17 # along with GRUB.  If not, see <http://www.gnu.org/licenses/>.
  18
  19 # Initialize some variables.
  20 prefix=@prefix@
  21 exec_prefix=@exec_prefix@
  22 bindir=@bindir@
  23 sysconfdir="@sysconfdir@"
  24 PACKAGE_NAME=@PACKAGE_NAME@
  25 PACKAGE_VERSION=@PACKAGE_VERSION@
  26 datarootdir="@datarootdir@"
  27 datadir="@datadir@"
  28 if [ "x$pkgdatadir" = x ]; then
  29     pkgdatadir="${datadir}/@PACKAGE@"
  30 fi
  31
  32 self=`basename $0`
  33
  34 grub_editenv=${bindir}/@grub_editenv@
  35 rootdir=
  36 bootdir=
  37 grubdir=`echo "/@bootdirname@/@grubdirname@" | sed 's,//*,/,g'`
  38
  39 export TEXTDOMAIN=@PACKAGE@
  40 export TEXTDOMAINDIR="@localedir@"
  41
  42 . "${pkgdatadir}/grub-mkconfig_lib"
  43
  44 # Usage: usage
  45 # Print the usage.
  46 usage () {
  47     gettext_printf "Usage: %s [OPTION] MENU_ENTRY\n" "$self"
  48     gettext "Set the default boot menu entry for GRUB."; echo
  49     gettext_printf "This requires setting GRUB_DEFAULT=saved in %s/default/grub.\n" "$sysconfdir"
  50     echo
  51     print_option_help "-h, --help" "$(gettext "print this message and exit")"
  52     print_option_help "-v, --version" "$(gettext "print the version information and exit")"
  53     dirmsg="$(gettext_printf "expect GRUB images under the directory DIR/%s instead of the %s directory" "@grubdirname@" "$grubdir")"
  54     print_option_help "--boot-directory=$(gettext "DIR")" "$dirmsg"
  55     echo
  56     gettext "MENU_ENTRY is a number, a menu item title or a menu item identifier."; echo
  57     echo
  58     gettext "Report bugs to <bug-grub@gnu.org>."; echo
  59 }
  60
  61 argument () {
  62   opt=$1
  63   shift
  64
  65   if test $# -eq 0; then
  66       gettext_printf "%s: option requires an argument -- \`%s'\n" "$self" "$opt" 1>&2
  67       exit 1
  68   fi
  69   echo $1
  70 }
  71
  72 # Check the arguments.
  73 while test $# -gt 0
  74 do
  75     option=$1
  76     shift
  77
  78     case "$option" in
  79     -h | --help)
  80         usage
  81         exit 0 ;;
  82     -v | --version)
  83         echo "$self (${PACKAGE_NAME}) ${PACKAGE_VERSION}"
  84         exit 0 ;;
  85
  86 # Accept for compatibility
  87     --root-directory)
  88         rootdir=`argument $option "$@"`; shift ;;
  89     --root-directory=*)
  90         rootdir=`echo "$option" | sed 's/--root-directory=//'` ;;
  91
  92     --boot-directory)
  93     bootdir=`argument $option "$@"`; shift;;
  94     --boot-directory=*)
  95     bootdir=`echo "$option" | sed 's/--boot-directory=//'` ;;
  96
  97     -*)
  98         gettext_printf "Unrecognized option \`%s'\n" "$option" 1>&2
  99         usage
 100         exit 1
 101         ;;
 102     *)
 103         if test "x$entry" != x; then
 104             gettext "More than one menu entry?" 1>&2
 105             echo >&2
 106             usage
 107             exit 1
 108         fi
 109         entry="${option}" ;;
 110     esac
 111 done
 112
 113 if test "x$entry" = x; then
 114     gettext "Menu entry not specified." 1>&2
 115     echo >&2
 116     usage
 117     exit 1
 118 fi
 119
 120 if [ -z "$bootdir" ]; then
 121     # Default bootdir if bootdir not initialized.
 122     bootdir=/@bootdirname@
 123
 124     if [ -n "$rootdir" ] ; then
 125         # Initialize bootdir if rootdir was initialized.
 126         bootdir=${rootdir}/@bootdirname@
 127     fi
 128 fi
 129
 130 grubdir=`echo "${bootdir}/@grubdirname@" | sed 's,//*,/,g'`
 131
 132 $grub_editenv ${grubdir}/grubenv unset prev_saved_entry
 133 $grub_editenv ${grubdir}/grubenv unset next_entry
 134 $grub_editenv ${grubdir}/grubenv set saved_entry="$entry"
 135
 136 # Bye.
 137 exit 0