diff --git a/debian/gnome-theme-kali.postinst b/debian/gnome-theme-kali.postinst new file mode 100644 index 00000000..1139aca0 --- /dev/null +++ b/debian/gnome-theme-kali.postinst @@ -0,0 +1,12 @@ +#!/bin/sh + +set -e + +if [ "$1" = "configure" ] && dpkg --compare-versions "$2" lt-nl "2019.4"; then + # Cleanup diversion setup by former real package + dpkg-divert --rename --package gnome-theme-kali \ + --divert /usr/share/gnome-shell/theme/gnome-shell.css.original \ + --remove /usr/share/gnome-shell/theme/gnome-shell.css +fi + +#DEBHELPER#