#!/bin/sh
set -e

# Copyright 1996-2013 Ian Jackson <ijackson@chiark.greenend.org.uk>
# Copyright 1998 David Damerell <damerell@chiark.greenend.org.uk>
# Copyright 1999,2003
#    Chancellor Masters and Scholars of the University of Cambridge
# Copyright 2010 Tony Finch <fanf@dotat.at>
#
# This file is part of userv-git-daemon, part of userv-utils
#
# This is free software; you can redistribute it and/or modify it
# under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 3 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful, but
# WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
# General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with userv-utils; if not, see http://www.gnu.org/licenses/.

GITDUSER=userv-git

defaults=/etc/default/userv-git-daemon
if test -f $defaults; then . $defaults; fi

#DEBHELPER#

if [ "$GITDUSER" ]; then
	adduser --system --quiet --group --gecos 'userv git daemon' \
		--home /etc/userv --no-create-home --shell /bin/false $GITDUSER
fi