Install all configuration files provided by Daniel

2019-11-06 16:22:15 +01:00
parent 3f6071bfb5
commit b45c4cb3f7
26 changed files with 396 additions and 59 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