summaryrefslogtreecommitdiff
path: root/packaging/debian
diff options
context:
space:
mode:
authorDaniel Kahn Gillmor <dkg@fifthhorseman.net>2008-11-15 17:02:33 -0500
committerDaniel Kahn Gillmor <dkg@fifthhorseman.net>2008-11-15 17:02:33 -0500
commit522b1ad1c3f043802e35af319a323bf96ff3676e (patch)
treebceedc0d04c15daddbee49e730624505731f8674 /packaging/debian
parent7156551783709dd6e7faa82de3f302a47758dbda (diff)
/var/lib/monkeysphere will get taken care of by debhelper appropriately. Leave it alone.
Diffstat (limited to 'packaging/debian')
-rwxr-xr-xpackaging/debian/monkeysphere.postrm1
1 files changed, 0 insertions, 1 deletions
diff --git a/packaging/debian/monkeysphere.postrm b/packaging/debian/monkeysphere.postrm
index 8f87ed3..7c0fede 100755
--- a/packaging/debian/monkeysphere.postrm
+++ b/packaging/debian/monkeysphere.postrm
@@ -7,7 +7,6 @@
case $1 in
purge)
- rmdir --ignore-fail-on-non-empty /var/lib/monkeysphere || true
echo "removing monkeysphere user..."
userdel monkeysphere > /dev/null || true
;;