#!/bin/sh

set -e

if [ -z "$1" ]; then
    echo "$0: called with no interface" 1>&2
    exit 1;
fi

case "$2" in
    up|vpn-up)
	if [ -e /etc/debian-edu/config ] ; then
	    . /etc/debian-edu/config
	fi

	# All profiles except Main-Server.  Listing them all to avoid
	# activating this code unless some profile is defined in
	# /etc/debian-edu/config.
	if [ -n "$DHCP4_HOST_NAME" ] && \
	    echo "$PROFILE" | egrep -q 'Workstation|Roaming-Workstation|Thin-Client-Server|Minimal|Standalone' ; then
	    echo "$DHCP4_HOST_NAME" > /etc/hostname
	    logger -t debian-edu-config "Update hostname from DHCP via NetworkManager to '$DHCP4_HOST_NAME'."
	fi
	;;
    down|vpn-down|hostname)
	;;
    *)
	echo "$0: called with unknown action \`$2'" 1>&2
	exit 1
	;;
esac
