diff deb/static/DEBIAN/prerm @ 68:18e0b8bdeecc

Actually renamed debian directory
author Ivo Smits <Ivo@UFO-Net.nl>
date Sun, 29 Jan 2017 14:09:08 +0100
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/deb/static/DEBIAN/prerm	Sun Jan 29 14:09:08 2017 +0100
@@ -0,0 +1,4 @@
+#!/bin/sh
+if [ "$1" = "remove" ]; then
+	/usr/sbin/userdel quicktun
+fi