diff options
| author | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2008-11-15 17:02:33 -0500 |
|---|---|---|
| committer | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2008-11-15 17:02:33 -0500 |
| commit | 522b1ad1c3f043802e35af319a323bf96ff3676e (patch) | |
| tree | bceedc0d04c15daddbee49e730624505731f8674 /packaging/debian | |
| parent | 7156551783709dd6e7faa82de3f302a47758dbda (diff) | |
/var/lib/monkeysphere will get taken care of by debhelper appropriately. Leave it alone.
Diffstat (limited to 'packaging/debian')
| -rwxr-xr-x | packaging/debian/monkeysphere.postrm | 1 |
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 ;; |