diff options
author | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2008-11-15 16:54:26 -0500 |
---|---|---|
committer | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2008-11-15 16:54:26 -0500 |
commit | 7156551783709dd6e7faa82de3f302a47758dbda (patch) | |
tree | f60289af89204d74c319637dabcbdfcb35386409 /packaging | |
parent | 6f58fa33e52e45d25e2221fbd7c8179c688061b4 (diff) |
do not fail in postrm if /var/lib/monkeysphere is already wiped.
Diffstat (limited to 'packaging')
-rwxr-xr-x | packaging/debian/monkeysphere.postrm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/packaging/debian/monkeysphere.postrm b/packaging/debian/monkeysphere.postrm index ffb6b6e..8f87ed3 100755 --- a/packaging/debian/monkeysphere.postrm +++ b/packaging/debian/monkeysphere.postrm @@ -7,7 +7,7 @@ case $1 in purge) - rmdir --ignore-fail-on-non-empty /var/lib/monkeysphere + rmdir --ignore-fail-on-non-empty /var/lib/monkeysphere || true echo "removing monkeysphere user..." userdel monkeysphere > /dev/null || true ;; |