grub2-efi-ubuntu/grub2.install

   1 infodir=usr/share/info
   2 filelist=(grub.info grub-dev.info)
   3
   4 post_install() {
   5   if [ -f /boot/grub/grub.cfg.pacsave ]; then
   6     echo "Copying /boot/grub/grub.cfg.pacsave to /boot/grub/grub.cfg"
   7     install -Dm644 /boot/grub/grub.cfg.pacsave /boot/grub/grub.cfg
   8   fi
   9
  10   echo -n "Generating grub.cfg.example config file... "
  11   grub-mkconfig -o /boot/grub/grub.cfg.example 2> /dev/null
  12   echo "done."
  13
  14   for file in ${filelist[@]}; do
  15     install-info $infodir/$file.gz $infodir/dir 2> /dev/null
  16   done
  17 }
  18
  19 post_upgrade() {
  20   for file in ${filelist[@]}; do
  21     install-info $infodir/$file.gz $infodir/dir 2> /dev/null
  22   done
  23 }
  24
  25 pre_remove() {
  26   for file in ${filelist[@]}; do
  27     install-info --delete $infodir/$file $infodir/dir 2> /dev/null
  28   done
  29 }