infodir="usr/share/info" filelist=('grub.info' 'grub-dev.info') post_install() { if [ -f /boot/grub/grub.cfg.pacsave ]; then echo "Copying /boot/grub/grub.cfg.pacsave to /boot/grub/grub.cfg" install -D -m0644 /boot/grub/grub.cfg.pacsave /boot/grub/grub.cfg fi post_upgrade } post_upgrade() { cat << 'EOM' Generating grub.cfg config file... EOM systemconfig.py -m advanced echo "done." for file in ${filelist[@]}; do install-info ${infodir}/${file}.gz ${infodir}/dir 2> /dev/null done if [[ -d /boot/grub/locale ]] && [[ ! -a /boot/grub/locale/en.mo ]]; then cat << 'EOM' Creating link /boot/grub/locale/en.mo ... EOM cd /boot/grub/locale ln -s "en@quot.mo" "en.mo" echo "done." fi } pre_remove() { for file in ${filelist[@]}; do install-info --delete ${infodir}/${file} ${infodir}/dir 2> /dev/null done }