+##
+### THIS FILE IS UNDER PUPPET CONTROL. DON'T EDIT IT HERE.
+### USE: git clone git+ssh://$USER@puppet.debian.org/srv/puppet.debian.org/git/dsa-puppet.git
+###
+
+<%=
+nameservers = []
+searchpaths = []
+resolvconf = ''
+
+case hosterinfo["name"]
+ when "darmstadt" then
+ case hostname
+ when "draghi", "liszt" then
+ nameservers << "127.0.0.1"
+ end
+ nameservers += ["82.195.75.81", "82.195.66.249", "217.198.242.225"]
+ searchpaths << "debprivate-darmstadt.debian.org"
+ when "dgi" then
+ case hostname
+ when "widor" then
+ nameserver << "127.0.0.1"
+ end
+ nameservers += ["195.49.152.215", "195.49.152.213", "195.49.152.214"]
+ when "ftcollins" then
+ case hostname
+ when "spohr", "samosa" then
+ nameservers << "127.0.0.1"
+ end
+ nameservers += ["192.25.206.33", "192.25.206.57"]
+ searchpaths << "debprivate-ftcollins.debian.org"
+ when "grnet" then
+ nameservers += ["194.177.210.10", "194.177.210.210"]
+ searchpaths << "debprivate-grnet.debian.org"
+ when "osousl" then
+ nameserver += ["140.211.166.130","140.211.166.131"]