This file is indexed.

/etc/miredo.conf is in miredo 1.2.6-4.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

1
2
3
4
5
6
7
8
9
# Please refer to the miredo.conf(5) man page for details.
InterfaceName	teredo

# Pick a Teredo server:
#ServerAddress	teredo.ipv6.microsoft.com
ServerAddress	teredo-debian.remlab.net

# Some firewall/NAT setups require a specific UDP port number:
#BindPort	3545