# DNS config
echo "nameserver 127.0.0.1" | tee /etc/resolv.conf > /dev/null
+# Ensure only the local DNS resolver is used (Tor)
+# Some systems need this additional configuration so the DNS returned by the
+# DHCP server is NOT used
+#cat <<EOF | sudo tee /etc/network/interfaces.d/ens3 > /dev/null
+#allow-hotplug ens3
+#iface ens3 inet dhcp
+# post-up echo "nameserver 127.0.0.1" > /etc/resolv.conf
+#EOF
+
# Tor config
cp $SHARE/tor-transproxy/unix/linux/debian/files/etc/tor/torrc /etc/tor/torrc
service tor restart