Cleanup left-over diversion in gnome-theme-kali postinst

2019-11-06 22:39:54 +01:00
parent ca5ccef99e
commit 0efe347c2a
1 changed files with 12 additions and 0 deletions
@@ -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#