#!/bin/bash

#DEBHELPER#

# postrm script for grub-files-mx

#set -e

case "$1" in
  purge|remove)
    for F in \
        /etc/grub.d/00_header    \
        /etc/grub.d/05_debian_theme    \
        /etc/grub.d/10_linux    \
        /etc/grub.d/20_linux_xen    \
        /etc/grub.d/20_memtest86+   \
        /etc/grub.d/30_os-prober    \
        /etc/grub.d/30_uefi-firmware    \
        /etc/grub.d/40_custom    \
        /etc/grub.d/41_custom    \
        /usr/share/grub/default/grub \
        /etc/grub.d/README
    do
    	if [ -e "$F.dpkg-dist" ]; then
    		rm $F
    	fi
        dpkg-divert --quiet --package grub-files-mx --rename \
                    --divert $F.dpkg-dist --remove $F || :
    done
  ;;
  *) :
  ;;

esac

exit 0
