util/grub.d/10_linux.in

   1 #! /bin/sh -e
   2
   3 # grub-mkconfig helper script.
   4 # Copyright (C) 2006,2007,2008,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 prefix=@prefix@
  20 exec_prefix=@exec_prefix@
  21 libdir=@libdir@
  22 . ${libdir}/grub/grub-mkconfig_lib
  23
  24 if [ "x${GRUB_DISTRIBUTOR}" = "x" ] ; then
  25   OS=GNU/Linux
  26 else
  27   OS="${GRUB_DISTRIBUTOR} GNU/Linux"
  28 fi
  29
  30 # loop-AES arranges things so that /dev/loop/X can be our root device, but
  31 # the initrds that Linux uses don't like that.
  32 case ${GRUB_DEVICE} in
  33   /dev/loop/*|/dev/loop[0-9])
  34     GRUB_DEVICE=`losetup ${GRUB_DEVICE} | sed -e "s/^[^(]*(\([^)]\+\)).*/\1/"`
  35   ;;
  36 esac
  37
  38 if [ "x${GRUB_DEVICE_UUID}" = "x" ] || [ "x${GRUB_DISABLE_LINUX_UUID}" = "xtrue" ] \
  39     || ! test -e "/dev/disk/by-uuid/${GRUB_DEVICE_UUID}" ; then
  40   LINUX_ROOT_DEVICE=${GRUB_DEVICE}
  41 else
  42   LINUX_ROOT_DEVICE=UUID=${GRUB_DEVICE_UUID}
  43 fi
  44
  45 linux_entry ()
  46 {
  47   cat << EOF
  48 menuentry "$1" {
  49 EOF
  50   prepare_grub_to_access_device ${GRUB_DEVICE_BOOT} | sed -e "s/^/\t/"
  51   cat << EOF
  52         linux   ${rel_dirname}/${basename} root=${linux_root_device_thisversion} ro $2
  53 EOF
  54   if test -n "${initrd}" ; then
  55     cat << EOF
  56         initrd  ${rel_dirname}/${initrd}
  57 EOF
  58   fi
  59   cat << EOF
  60 }
  61 EOF
  62 }
  63
  64 list=`for i in /boot/vmlinu[xz]-* /vmlinu[xz]-* ; do
  65         if grub_file_is_not_garbage "$i" ; then echo -n "$i " ; fi
  66       done`
  67
  68 while [ "x$list" != "x" ] ; do
  69   linux=`version_find_latest $list`
  70   echo "Found linux image: $linux" >&2
  71   basename=`basename $linux`
  72   dirname=`dirname $linux`
  73   rel_dirname=`make_system_path_relative_to_its_root $dirname`
  74   version=`echo $basename | sed -e "s,^[^0-9]*-,,g"`
  75   alt_version=`echo $version | sed -e "s,\.old$,,g"`
  76   linux_root_device_thisversion="${LINUX_ROOT_DEVICE}"
  77
  78   initrd=
  79   for i in "initrd.img-${version}" "initrd-${version}.img" \
  80            "initrd-${version}" "initrd.img-${alt_version}" \
  81            "initrd-${alt_version}.img" "initrd-${alt_version}"; do
  82     if test -e "${dirname}/${i}" ; then
  83       initrd="$i"
  84       break
  85     fi
  86   done
  87   if test -n "${initrd}" ; then
  88     echo "Found initrd image: ${dirname}/${initrd}" >&2
  89   else
  90     # "UUID=" magic is parsed by initrds.  Since there's no initrd, it can't work here.
  91     linux_root_device_thisversion=${GRUB_DEVICE}
  92   fi
  93
  94   linux_entry "${OS}, Linux ${version}" \
  95       "${GRUB_CMDLINE_LINUX} ${GRUB_CMDLINE_LINUX_DEFAULT}"
  96   if [ "x${GRUB_DISABLE_LINUX_RECOVERY}" != "xtrue" ]; then
  97     linux_entry "${OS}, Linux ${version} (recovery mode)" \
  98         "single ${GRUB_CMDLINE_LINUX}"
  99   fi
 100
 101   list=`echo $list | tr ' ' '\n' | grep -vx $linux | tr '\n' ' '`
 102 done