diff options
| author | Christian Pointner <equinox@helsinki.at> | 2015-07-17 01:27:52 (GMT) |
|---|---|---|
| committer | Christian Pointner <equinox@helsinki.at> | 2015-07-17 01:27:52 (GMT) |
| commit | fb352e9e1b900b06be003d51ac4bf9e42245010d (patch) | |
| tree | a80be2777b6ac376fd2a4bae9753be85ceef3445 /debian/postrm | |
| parent | f4ddfc122c3948ddac6c5570c44531e7c1fa0960 (diff) | |
added debian packaging
Diffstat (limited to 'debian/postrm')
| -rw-r--r-- | debian/postrm | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/debian/postrm b/debian/postrm new file mode 100644 index 0000000..369e0be --- /dev/null +++ b/debian/postrm @@ -0,0 +1,17 @@ +#!/bin/sh +# postrm script for rhrdtime + +set -e + +if [ "$1" = "purge" ] ; then + if [ -x "$(command -v deluser)" -a -x "$(command -v delgroup)" ]; then + deluser --quiet --system rhrdtime || true + delgroup --quiet --system rhrdtime || true + else + echo "Not removing rhrdtime user and group: adduser package not found." >&2 + fi +fi + +#DEBHELPER# + +exit 0 |