/mandos/release

To get this branch, use:
bzr branch http://bzr.recompile.se/loggerhead/mandos/release

« back to all changes in this revision

Viewing changes to debian/mandos.postrm

  • Committer: Teddy Hogeborn
  • Date: 2019-07-25 21:42:40 UTC
  • mto: This revision was merged to the branch mainline in revision 384.
  • Revision ID: teddy@recompile.se-20190725214240-31i9qehf60xb8yu4
Use hexadecimal unicode character references, not decimal

* mandos-options.xml (priority): Use "​" instead of "​"
  to make it slightly more clear that ZERO WIDTH SPACE is intended.

Show diffs side-by-side

added added

removed removed

Lines of Context:
debian/mandos.postrm
1
 
#!/bin/sh
2
 
 
3
 
set -e
4
 
 
5
 
#DEBHELPER#
6
 
 
7
 
if [ "$1" = "purge" ] ; then
8
 
        deluser --quiet --system mandos > /dev/null || true
9
 
        delgroup --quiet --system mandos > /dev/null || true
10
 
fi
11