From 0efe347c2a16398cb1769dfaf3c6e5a2f52ce6d7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rapha=C3=ABl=20Hertzog?= Date: Wed, 6 Nov 2019 22:39:54 +0100 Subject: [PATCH] Cleanup left-over diversion in gnome-theme-kali postinst --- debian/gnome-theme-kali.postinst | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 debian/gnome-theme-kali.postinst 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#