KDE: Configure default theme settings

2020-02-21 01:09:31 +01:00
parent a8de9cc7b6
commit 0a9c32d09a
8 changed files with 29 additions and 4 deletions
@@ -0,0 +1,15 @@
+#!/bin/sh
+
+update_script() {
+	local script=$1
+	(
+	sed -n -e '1,/^FILES_TO_DIVERT="/ p' $script
+	cat files-to-divert
+	sed -n -e '/^" # END FILES_TO_DIVERT/,$ p' $script
+	) > $script.new
+	mv $script.new $script
+}
+
+update_script debian/kali-themes.preinst
+update_script debian/kali-themes.postinst
+update_script debian/kali-themes.postrm