Change name to kali-themes and kali-themes-common

2019-11-01 11:11:56 +01:00
parent 00e09840ea
commit 9481728e58
7 changed files with 8 additions and 8 deletions
@@ -0,0 +1,21 @@
+#!/bin/sh
+
+set -e
+
+DIVERT_FILE="/etc/xdg/xfce4/xfconf/xfce-perchannel-xml/xsettings.xml"
+
+case "$1" in
+    install)
+	if [ "$(dpkg-divert --listpackage $DIVERT_FILE)" = "kali-defaults" ]; then
+	    rm -f $DIVERT_FILE
+	    dpkg-divert --rename --package kali-defaults \
+		--divert $DIVERT_FILE.original \
+                --remove $DIVERT_FILE
+	fi
+	dpkg-divert --rename --package kali-themes \
+		    --divert $DIVERT_FILE.original \
+		    --add $DIVERT_FILE
+    ;;
+esac
+
+#DEBHELPER#