/etc/NetworkManager/dispatcher.d/02debian-edu-config is in debian-edu-config 1.702.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 | #!/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
|