#!/bin/bash
# postinst

set -e

USERNAME="Debian-ippl"

[ -n "$IPPLDEBUG" ] && set -x

# Add user
if [ "$1" = "configure" ]; then
    echo >&2 'Adding system user'
    adduser --system --group --home /run/ippl \
            --disabled-login --force-badname $USERNAME
fi

# Automatically added by dh_installtmpfiles/13.6
if [ "$1" = "configure" ] || [ "$1" = "abort-upgrade" ] || [ "$1" = "abort-deconfigure" ] || [ "$1" = "abort-remove" ] ; then
	# In case this system is running systemd, we need to ensure that all
	# necessary tmpfiles (if any) are created before starting.
	if [ -z "${DPKG_ROOT:-}" ] && [ -d /run/systemd/system ] ; then
		systemd-tmpfiles --create ippl.conf >/dev/null || true
	fi
fi
# End automatically added section
# Automatically added by dh_installinit/13.6
if [ "$1" = "configure" ] || [ "$1" = "abort-upgrade" ] || [ "$1" = "abort-deconfigure" ] || [ "$1" = "abort-remove" ] ; then
	if [ -z "${DPKG_ROOT:-}" ] && [ -x "/etc/init.d/ippl" ]; then
		update-rc.d ippl defaults >/dev/null
		invoke-rc.d --skip-systemd-native ippl restart || exit 1
	fi
fi
# End automatically added section