#! /bin/sh
set -e

change_ldm_background() {
    update-alternatives --install /usr/share/ldm/themes/default \
        ldm-theme /usr/share/ldm/themes/debian-edu 80
}

restore_ldm_background() {
    update-alternatives --remove ldm-theme /usr/share/ldm/themes/debian-edu
}

change_grub_background() {
    if [ -f /boot/grub/grub.cfg ] && ! grep -q 'debian-edu-splash-grub.png' /boot/grub/grub.cfg ; then
	## update-grub should find our splash image and update grub.cfg:
	update-grub || true
    fi
}

restore_grub_background() {
    if [ -f /boot/grub/grub.cfg ] && grep -q 'debian-edu-splash-grub.png' /boot/grub/grub.cfg ; then
	## update-grub should revert grub.cfg to point to the default image: 
	update-grub || true
    fi
}

## change_kdm_theme() and restore_kdm_theme() are not needed anymore,
## our theme is added to /etc/default/kdm.d/

case "$1" in
  configure)
    change_ldm_background
    change_grub_background
    ;;
  remove)
    restore_ldm_background
    restore_grub_background
    ;;
esac
