#!/bin/sh set -e # Automatically added by dh_installalternatives/13.6ubuntu1 if [ "$1" = "remove" ]; then update-alternatives --remove gdm-theme.gresource /usr/share/gnome-shell/gnome-shell-theme.gresource fi # End automatically added section