debian/local/extlinux.d/0040-extlinux

   1 #!/bin/sh
   2
   3 ## Copyright (C) 2006-2013 Daniel Baumann <mail@daniel-baumann.ch>
   4 ##
   5 ## This program comes with ABSOLUTELY NO WARRANTY; for details see COPYING.
   6 ## This is free software, and you are welcome to redistribute it
   7 ## under certain conditions; see COPYING for details.
   8
   9
  10 set -e
  11
  12 # Create the main extlinux.conf file
  13 _CONFIG="\
  14 ## ${_EXTLINUX_DIRECTORY}/extlinux.conf
  15 ##
  16 ## IMPORTANT WARNING
  17 ##
  18 ## The configuration of this file is generated automatically.
  19 ## Do not edit this file manually, use: extlinux-update
  20
  21
  22 default ${EXTLINUX_DEFAULT}
  23 prompt 1
  24 timeout ${EXTLINUX_TIMEOUT}
  25 "
  26
  27 if [ -n "${EXTLINUX_THEME}" ] && [ "${EXTLINUX_THEME}" != "none" ]
  28 then
  29         if [ ! -e "/usr/share/EXTLINUX/themes/${EXTLINUX_THEME}" ]
  30         then
  31                 echo "E: /usr/share/EXTLINUX/themes/${EXTLINUX_THEME}: No such file or directory"
  32                 exit 1
  33         else
  34                 echo -n "P: Installing ${EXTLINUX_THEME} theme..."
  35                 rm -rf "${_EXTLINUX_DIRECTORY}/themes/${EXTLINUX_THEME}"
  36
  37                 mkdir -p "${_EXTLINUX_DIRECTORY}/themes"
  38
  39                 EXTLINUX_THEME_ORIG="$(readlink /usr/share/EXTLINUX/themes/${EXTLINUX_THEME})" || true
  40
  41                 if [ -n "${EXTLINUX_THEME_ORIG}" ]
  42                 then
  43                         cp -aLT "/usr/share/EXTLINUX/themes/${EXTLINUX_THEME_ORIG}" "${_EXTLINUX_DIRECTORY}/themes/${EXTLINUX_THEME_ORIG}"
  44                         ln -sf "${EXTLINUX_THEME_ORIG}" "${_EXTLINUX_DIRECTORY}/themes/${EXTLINUX_THEME}"
  45                 else
  46                         cp -aLT "/usr/share/EXTLINUX/themes/${EXTLINUX_THEME}" "${_EXTLINUX_DIRECTORY}/themes/${EXTLINUX_THEME}"
  47                 fi
  48
  49                 echo " done."
  50         fi
  51
  52         _CONFIG="${_CONFIG}
  53 include themes/${EXTLINUX_THEME}/theme.cfg"
  54
  55 else
  56
  57         _CONFIG="${_CONFIG}
  58 display boot.txt
  59 include linux.cfg"
  60
  61         if [ "${EXTLINUX_MEMDISK}" = "true" ] && [ -e "${_EXTLINUX_DIRECTORY}/memdisk.cfg" ]
  62         then
  63
  64                 _CONFIG="${_CONFIG}
  65 include memdisk.cfg"
  66
  67         fi
  68
  69         if [ "${EXTLINUX_OS_PROBER}" = "true" ] && [ -e "${_EXTLINUX_DIRECTORY}/os-prober.cfg" ]
  70         then
  71
  72                 _CONFIG="${_CONFIG}
  73 include os-prober.cfg"
  74
  75         fi
  76
  77         if [ ! -e "${_EXTLINUX_DIRECTORY}/boot.txt" ]
  78         then
  79                 echo "Wait 5 seconds or press ENTER to " > "${_EXTLINUX_DIRECTORY}/boot.txt"
  80         fi
  81 fi
  82
  83 Update "${_EXTLINUX_DIRECTORY}/extlinux.conf" "${_CONFIG}"