packaging: create the user

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/debian/hippotat.postinst b/debian/hippotat.postinst
new file mode 100644 (file)
index 0000000..a223771
--- /dev/null
+++ b/debian/hippotat.postinst
@@ -0,0 +1,6 @@
+#!/bin/sh
+set -e
+#DEBHELPER#
+mkdir -p -m700 /etc/hippotat
+adduser --system --group --force-badname --shell=/bin/bash \
+       --home /etc/hippotat Debian-hippotat