#!/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-menu.preinst
update_script debian/kali-menu.postinst
update_script debian/kali-menu.postrm
