#!/bin/sh
set -e

CFG_DIR=/etc/default/grub.d

case "$1" in
    remove|deconfigure)
# AUTOMATICALLY GENERATED PRE-REMOVE CODE

# Stop all units
systemctl stop tuxedo-fix-sirius-hdmi-detection.timer
systemctl stop tuxedo-fix-sirius-hdmi-detection.service
# Disable all enabled units
# END OF AUTOMATICALLY GENERATED PRE-REMOVE CODE
    ;;

    upgrade|failed-upgrade)
    ;;

    *)
        echo "prerm called with unknown argument \`$1'" >&2
        exit 1
    ;;
esac

exit 0
