Move update-maintainer-scripts to bin/

2020-03-24 18:22:56 +01:00
parent 2b98886147
commit 474c3e3811
1 changed files with 0 additions and 0 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