chiark / gitweb /
5ed3b4e90bb73eb8e372ca835f8a3ecf808dae81
[userv-utils.git] / debian / userv-git-daemon.postinst
1 #!/bin/sh
2 set -e
3
4 # Copyright 1996-2013 Ian Jackson <ijackson@chiark.greenend.org.uk>
5 # Copyright 1998 David Damerell <damerell@chiark.greenend.org.uk>
6 # Copyright 1999,2003
7 #    Chancellor Masters and Scholars of the University of Cambridge
8 # Copyright 2010 Tony Finch <fanf@dotat.at>
9 #
10 # This file is part of userv-git-daemon, part of userv-utils
11 #
12 # This is free software; you can redistribute it and/or modify it
13 # under the terms of the GNU General Public License as published by
14 # the Free Software Foundation; either version 3 of the License, or
15 # (at your option) any later version.
16 #
17 # This program is distributed in the hope that it will be useful, but
18 # WITHOUT ANY WARRANTY; without even the implied warranty of
19 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
20 # General Public License for more details.
21 #
22 # You should have received a copy of the GNU General Public License
23 # along with userv-utils; if not, see http://www.gnu.org/licenses/.
24
25 GITDUSER=userv-git
26
27 defaults=/etc/default/userv-git-daemon
28 if test -f $defaults; then . $defaults; fi
29
30 #DEBHELPER#
31
32 if [ "$GITDUSER" ]; then
33         if id $GITDUSER >/dev/null 2>&1; then exit 0; fi
34
35         adduser --system --group --gecos 'userv git daemon' \
36                 --home /etc/userv $GITDUSER
37 fi