This file is indexed.

/etc/network/if-up.d/miredo is in miredo 1.2.3-1ubuntu1.

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
39
40
41
#! /bin/sh
# Reload Miredo when an interface comes up

set -e

# Don't bother to reload when lo is configured.
if [ "$IFACE" = lo ]; then
	exit 0
fi

# Only run from ifup.
if [ "$MODE" != start ]; then
	exit 0
fi

# Miredo only cares about inet and inet6. Get thee gone, strange people
# still using ipx.
#if [ "$ADDRFAM" != inet ]; then
#	exit 0
#fi

# Actually, due to this bug - http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=475188
# we need to do things differently. Exclude ipx instead (and IPv6; Miredo runs on IPv4).
if [ "${ADDRFAM}" = "ipx" ] || [ "${ADDRFAM}" = "inet6" ]; then
	exit 0
fi

# Is /usr mounted?
if [ ! -e /usr/sbin/miredo ]; then
	exit 0
fi

# Is the miredo service running?
if [ ! -f /var/run/miredo.pid ] || \
   [ "$(ps -p "$(cat /var/run/miredo.pid)" -o comm=)" != miredo ]; then
	exit 0
fi

invoke-rc.d miredo reload --quiet

exit 0