This file is indexed.

/etc/NetworkManager/dispatcher.d/02debian-edu-config is in debian-edu-config 1.818+deb8u2.

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
32
33
34
35
36
37
38
#!/bin/sh

set -e

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

# Workaround for misfeature in Network Manager, see
# <URL: https://bugs.launchpad.net/ubuntu/+source/network-manager/+bug/293139 >
# Set the variables used by scripts installed by default in Debian Edu
# Wheezy and a few others.  Fake call to dhclient hook.
run_dhclient_exit_hooks() {
    new_interface="$1"
    case "$2" in
	up|vpn-up)
	    reason=BOUND
	    ;;
	down|vpn-down)
            reason=STOP
	    ;;
	*)
	    return
	    ;;
    esac    
    export reason
    if [ "$DHCP4_IP_ADDRESS" ] ; then new_ip_address="$DHCP4_IP_ADDRESS" ; export new_ip_address ; fi
    if [ "$DHCP4_NTP_SERVERS" ] ; then new_ntp_servers="$DHCP4_NTP_SERVERS" ; export new_ntp_servers ; fi
    if [ "$DHCP4_BROADCAST_ADDRESS" ] ; then new_broadcast_address="$DHCP4_BROADCAST_ADDRESS" ; export new_broadcast_address ; fi
    if [ "$DHCP4_SUBNET_MASK" ] ; then new_subnet_mask="$DHCP4_SUBNET_MASK" ; export new_subnet_mask ; fi
    if [ "$DHCP4_HOST_NAME" ] ; then new_host_name="$DHCP4_HOST_NAME" ; export new_host_name ; fi
    for f in /etc/dhcp/dhclient-exit-hooks.d/*; do
	sh $f
    done
}

run_dhclient_exit_hooks "$1" "$2"