distorted.lisp, hosts.lisp: Add new printer `burntaxe'.
[zones] / distorted.lisp
1 ;;; Zone file for distorted.org.uk
2
3 (load "hosts.lisp" :verbose nil)
4
5 ;;;--------------------------------------------------------------------------
6 ;;; Anycast services.
7
8 (defvar *anycast-routable-families* (list :ipv6))
9
10 (defzoneparse :anycast (name data rec :prefix prefix :zname zname)
11 (destructuring-bind (any-provider default-provider &rest other-providers)
12 data
13
14 ;; First, the default address. If the anycast network is preferred then
15 ;; this is easy; otherwise we have something complicated to do because
16 ;; IPv6 anycast addresses are globally routable, while IPv4 ones aren't.
17 (if (zone-preferred-subnet-p (car any-provider))
18 (zone-set-address #'rec (cdr any-provider) :make-ptr-p t)
19 (do-host (addr (cdr any-provider))
20 (let ((family (ipaddr-family addr)))
21 (if (member family *anycast-routable-families*)
22 (zone-set-address #'rec addr
23 :family family :make-ptr-p t)
24 (zone-set-address #'rec (cdr default-provider)
25 :family family :make-ptr-p nil)))))
26
27 ;; Now for all of the others.
28 (dolist (provider (list* any-provider default-provider other-providers))
29 (zone-set-address #'rec (cdr provider)
30 :make-ptr-p (eq provider any-provider)
31 :name (domain-name-concat prefix
32 (zone-parse-host
33 (car provider)
34 zname))))))
35
36 ;;;--------------------------------------------------------------------------
37 ;;; Hostname abbreviations.
38
39 (defvar *abbrev-subdomain*
40 (make-domain-name :labels '("abbrev") :absolutep nil))
41 (defparameter *abbrev-used* (make-hash-table :test #'equal))
42
43 (defzoneparse :abbrev (name data rec :zname zname)
44 (let* ((domain (zone-parse-host data
45 (domain-name-concat *abbrev-subdomain*
46 zname)))
47 (key (princ-to-string domain))
48 (existing (gethash key *abbrev-used*)))
49 (when existing
50 (error "Abbrev collision for ~A between ~A and ~A."
51 domain existing name))
52 (setf (gethash key *abbrev-used*) name)
53 (rec :name domain
54 :type :cname
55 :data name)))
56
57 ;;;--------------------------------------------------------------------------
58 ;;; Other definitions.
59
60 (setf *default-zone-admin* "hostmaster@distorted.org.uk")
61
62 (setf *default-zone-source* 'radius.distorted.org.uk.)
63
64 ;;;--------------------------------------------------------------------------
65 ;;; Main zone definition.
66
67 (defzone distorted.org.uk
68
69 ;; Nameservers.
70 :ns ((radius.ns :ip radius)
71 (precision.ns :ip precision)
72 (telecaster.ns :ip telecaster)
73 (national.ns :ip national)
74 #+view/inside (vampire.ns :ip vampire)
75 #-view/inside (mythic-beasts-1.ns :ip mythic-ns1)
76 #-view/inside (mythic-beasts-2.ns :ip mythic-ns2)
77 #-view/inside (mythic-beasts-3.ns :ip mythic-ns3)
78 #-view/inside (chiark.ns :ip chiark.greenend.org.uk))
79
80 ;; Certification.
81 :caa ((:issue "letsencrypt.org")
82 (:issue "distorted.org.uk"))
83
84 ;; Mail servers.
85 ((@ mail blackhole) :mx mail :srv ((:smtp mail)))
86 ((bugs) :ttl 300 :mx lists :srv ((:smtp bugs)))
87 ((lists) :ttl 300 :mx lists :srv ((:smtp lists)))
88
89 (stratocaster.20140403._domainkey
90 :dkim ("stratocaster-20140403"
91 :v "DKIM1" :k "rsa" :h "sha256" :s "email"))
92
93 ;; Anycast services.
94 (dns0 :anycast ((any dns0.any)
95 (jump precision.jump)
96 (colo precision.colo)
97 (dmz radius.dmz)
98 (unsafe radius.unsafe)))
99 (dns1 :anycast ((any dns1.any)
100 (jump telecaster.jump)
101 (dmz vampire.dmz)
102 (unsafe vampire.unsafe)
103 (colo telecaster.colo)))
104 (dns :cname dns0)
105
106 (ntp0 :anycast ((any ntp0.any)
107 (jump fender.jump)
108 (dmz ibanez.dmz)
109 (unsafe ibanez.unsafe)
110 (colo fender.colo)))
111 (ntp1 :anycast ((any ntp1.any)
112 (dmz vampire.dmz)
113 (unsafe vampire.unsafe)))
114 (ntp :cname ntp0)
115
116 (www-cache :anycast ((any www-cache.any)
117 (jump telecaster.jump)
118 (dmz roadstar.dmz)
119 (unsafe roadstar.unsafe)
120 (colo telecaster.colo)))
121 (wpad :cname www-cache)
122
123 (_kerberos :txt "DISTORTED.ORG.UK")
124 (krb0 :anycast ((any krb0.any)
125 (jump precision.jump)
126 (dmz radius.dmz)
127 (unsafe radius.unsafe)
128 (colo precision.colo)))
129 (krb1 :anycast ((any krb1.any)
130 (dmz vampire.dmz)
131 (unsafe vampire.unsafe)))
132 (krb-master (unsafe :svc radius.unsafe)
133 (dmz :svc radius.dmz))
134 :srv (((:kerberos :protocol :udp)
135 krb0
136 (krb1 :prio 100))
137 ((:kerberos-master :protocol :udp :port 88) krb-master)
138 (:kerberos-adm krb-master)
139 ((:kpasswd :protocol :udp) krb-master))
140 (krb :cname krb0)
141
142 ;; Other services.
143 :srv ((:http www)
144 (:ftp ftp))
145
146 ;; Colocated services.
147 ((irc vox keys wiki) (colo :svc jazz.colo :sshfp "jazz")
148 (jump :svc jazz.jump :sshfp "jazz"))
149 ((irc vox keys wiki) :tlsa (:https (:service-certificate-constraint
150 :public-key :sha-256 #p"https-jazz")))
151 ((bugs lists db ftp) (colo :svc telecaster.colo :sshfp "telecaster")
152 (jump :svc telecaster.jump :sshfp "telecaster"))
153 ((bugs lists ftp) :tlsa (:https #3=(:service-certificate-constraint
154 :public-key :sha-256
155 #p"https-telecaster")))
156 (dyndns :svc telecaster.jump :sshfp "telecaster")
157 ((git www mail) (colo :svc stratocaster.colo :sshfp "stratocaster")
158 (jump :svc stratocaster.jump :sshfp "stratocaster"))
159 ((www git mail @) :tlsa (:https #2=(:service-certificate-constraint
160 :public-key :sha-256
161 #p"https-stratocaster")))
162 (www-cache :tlsa (3127 #1=(:trust-anchor-assertion
163 :certificate :sha-256 #p"distorted-ca")))
164 (mail :tlsa ((:submission :imap :imaps) #1#))
165 (mail :tlsa (:smtp
166 #+view/inside #1#
167 #-view/inside (:domain-issued-certificate
168 :public-key :sha-256
169 #p"smtps-stratocaster")))
170 ((bugs lists) :tlsa (:smtp
171 #+view/inside #1#
172 #-view/inside (:domain-issued-certificate
173 :public-key :sha-256
174 #p"smtps-telecaster")))
175 :svc #+view/inside stratocaster.colo
176 #-view/inside stratocaster.jump
177 (cabal :svc stratocaster.colo :sshfp "stratocaster")
178
179 ;; Local services.
180 (rawk (unsafe :svc artist.unsafe) (dmz :svc artist.dmz))
181 (rawk :tlsa (:https (:service-certificate-constraint
182 :public-key :sha-256
183 #p"https-artist")))
184 (mirror (dmz :svc roadstar.dmz :sshfp "roadstar")
185 (unsafe :svc roadstar.unsafe :sshfp "roadstar"))
186
187 ;; Internal services.
188 #+view/inside ((news lpr) :svc vampire.unsafe :sshfp "vampire")
189
190 ;; Anonymity services.
191 (anon (colo :svc jazz.colo)
192 (unsafe :svc vampire.unsafe)
193 (jump :addr anon.jump)
194 (dmz :addr anon.dmz))
195
196 ;; Fancy connectivity.
197 (iodine (jump :svc jazz.jump))
198 (hippotat (jump :svc jazz.jump))
199
200 ;; Colocated hosts.
201 (colo :net colo)
202 (jump :net jump)
203 (gate (jump :addr gate.jump :sshfp "precision"))
204 (fender :abbrev f (colo :abbrev fc) (jump :abbrev fj))
205 (fender (colo :addr fender.colo :sshfp "fender")
206 (jump :addr fender.jump :sshfp "fender"))
207 (precision :abbrev p (colo :abbrev pc) (jump :abbrev pj) (vpn :abbrev pv))
208 (precision (colo :addr precision.colo :sshfp "precision")
209 (jump :addr precision.jump :sshfp "precision")
210 (vpn :addr precision.vpn :sshfp "precision"))
211 (telecaster :alias tele :abbrev t
212 (colo :alias tele.colo :abbrev tc)
213 (jump :alias tele.jump :abbrev tj))
214 (telecaster (colo :addr telecaster.colo :sshfp "telecaster")
215 (jump :addr telecaster.jump :sshfp "telecaster"))
216 (stratocaster :alias strat :abbrev s
217 (colo :alias strat.colo :abbrev sc)
218 (jump :alias strat.jump :abbrev sj))
219 (stratocaster (colo :addr stratocaster.colo :sshfp "stratocaster")
220 (jump :addr stratocaster.jump :sshfp "stratocaster"))
221 (jazz :abbrev z (colo :abbrev zc) (jump :abbrev zj) (vpn :abbrev :zv))
222 (jazz (colo :addr jazz.colo :sshfp "jazz")
223 (jump :addr jazz.jump :sshfp "jazz")
224 (vpn :addr jazz.vpn :sshfp "jazz")
225 (iodine :addr jazz.iodine :sshfp "jazz")
226 (hippo :addr jazz.hippo :sshfp "jazz"))
227
228 ;; Virtual hosts.
229 (national :abbrev n (linode :abbrev nl) (upn :abbrev ny))
230 (national (linode :addr national.linode)
231 (upn :addr national.upn))
232
233 ;; Media server (on loan to Good Technology HSTG).
234 (jaguar :abbrev jag)
235 (jaguar (jump :addr jaguar.jump :sshfp "jaguar"))
236
237 ;; Nicko's server.
238 (richmond (jump :svc richmond.jump))
239
240 ;; Entry is via little router box.
241 (dmz :net dmz)
242 (guvnor (dmz :addr guvnor.dmz))
243 (nat (dmz :addr nat.dmz))
244
245 ;; Wireless access points.
246 (wireless :net wireless)
247 (evolution (safe :addr evolution.safe))
248 (evolution :alias evo)
249 (kitkat :alias ap0)
250 (kitkat (safe :addr kitkat.safe))
251 (lunch :alias ap1)
252 (lunch (safe :addr lunch.safe))
253 (burntaxe (safe :addr burntaxe.safe))
254
255 ;; Switches.
256 (grigsby :alias tp0)
257 (grigsby (safe :addr grigsby.safe))
258 (carling :alias tp1)
259 (carling (safe :addr carling.safe))
260 (tritan :alias tp2)
261 (tritan (safe :addr tritan.safe))
262
263 ;; Wired ethernet.
264 (unsafe :net unsafe)
265 (safe :net safe)
266 (untrusted :net untrusted)
267 (vampire :abbrev v
268 (unsafe :abbrev vu) (dmz :abbrev vd) (vpn :abbrev vv)
269 (safe :abbrev vs) (untrusted :abbrev vx))
270 (vampire (unsafe :addr vampire.unsafe :sshfp "vampire")
271 (dmz :addr vampire.dmz :sshfp "vampire")
272 (vpn :addr vampire.vpn :sshfp "vampire")
273 (safe :addr vampire.safe :sshfp "vampire")
274 (untrusted :addr vampire.untrusted :sshfp "vampire"))
275 (ibanez :abbrev i (unsafe :abbrev iu) (dmz :abbrev id))
276 (ibanez (unsafe :addr ibanez.unsafe :sshfp "ibanez")
277 (dmz :addr ibanez.dmz :sshfp "ibanez"))
278 (radius :abbrev r
279 (unsafe :abbrev ru) (dmz :abbrev rd) (vpn :abbrev rv)
280 (safe :abbrev rs) (untrusted :abbrev rx))
281 (radius (unsafe :addr radius.unsafe :sshfp "radius")
282 (dmz :addr radius.dmz :sshfp "radius")
283 (vpn :addr radius.vpn :sshfp "radius")
284 (safe :addr radius.safe :sshfp "radius")
285 (untrusted :addr radius.untrusted :sshfp "radius"))
286 (roadstar :abbrev rg (unsafe :abbrev rgu) (dmz :abbrev rgd))
287 (roadstar (unsafe :addr roadstar.unsafe :sshfp "roadstar")
288 (dmz :addr roadstar.dmz :sshfp "roadstar"))
289 (jem :abbrev j (unsafe :abbrev ju) (dmz :abbrev jd))
290 (jem (unsafe :addr jem.unsafe :sshfp "jem")
291 (dmz :addr jem.dmz :sshfp "jem"))
292 (universe :abbrev u (unsafe :abbrev uu) (dmz :abbrev ud))
293 (universe (unsafe :addr universe.unsafe :sshfp "universe")
294 (dmz :addr universe.dmz :sshfp "universe"))
295 (artist :abbrev a
296 (unsafe :abbrev au) (dmz :abbrev ad) (untrusted :abbrev ax))
297 (artist (unsafe :addr artist.unsafe :sshfp "artist")
298 (dmz :addr artist.dmz :sshfp "artist")
299 (untrusted :addr artist.untrusted :sshfp "artist"))
300 (groove :abbrev gr)
301 (groove (unsafe :addr groove.unsafe :sshfp "groove"))
302
303 ;; DHCP hosts.
304 (gibson :cname gibson.dhcp :abbrev g)
305 (lespaul :cname lespaul.dhcp)
306 (firebird :cname firebird.dhcp)
307 (marauder :cname marauder.dhcp)
308 (invader :cname invader.dhcp)
309 (gretsch :cname gretsch.dhcp)
310
311 ;; Virtual network.
312 (vpn :net vpn)
313 (crybaby :abbrev cb)
314 (crybaby (vpn :addr crybaby.vpn :sshfp "crybaby")
315 (hippo :addr crybaby.hippo :sshfp "crybaby"))
316 (spirit (vpn :addr spirit.vpn :sshfp "spirit")
317 (hippo :addr spirit.hippo :sshfp "spirit"))
318 (terror (vpn :addr terror.vpn :sshfp "terror"))
319 (orange :abbrev o)
320 (orange (vpn :addr orange.vpn :sshfp "orange"))
321 (haze :abbrev h)
322 (haze (vpn :addr haze.vpn :sshfp "haze"))
323 (iodine :net iodine)
324 (hippo :net hippo)
325
326 ;; ITS.
327 (its :net its)
328 (gw (its :addr gw.its))
329 (mz (its :addr mz.its))
330
331 ;; Strange things.
332 (blackhole (jump :addr blackhole.jump))
333
334 ;; Delegations.
335 (dhcp :ns ((radius.ns.dhcp :ip radius)
336 (vampire.ns.dhcp :ip vampire)
337 (precision.ns.dhcp :ip precision)
338 (telecaster.ns.dhcp :ip telecaster)
339 (national.ns.dhcp :ip national))
340 :ds ((55966 :rsasha256 :sha1
341 "95b05c1f4e84f950f29630004bac447f8a87ca33")
342 (55966 :rsasha256 :sha256
343 #.(concatenate 'string "31696bf54b577362b2eb75793adeb9ec"
344 "2e8440ec671371b35d8d978cd9ca3007"))))
345 (dyn :ns ((radius.ns.dyn :ip radius)
346 (vampire.ns.dyn :ip vampire)
347 (precision.ns.dyn :ip precision)
348 (telecaster.ns.dyn :ip telecaster)
349 (national.ns.dyn :ip national))
350 :ds ((11335 :rsasha256 :sha1
351 "7ed2b843b0bfb38ceca68617dfacbeafab1d1ea9")
352 (11335 :rsasha256 :sha256
353 #.(concatenate 'string "6eb15eb587c48f5b84ca128a656a4cce"
354 "0a41cf040d3d0f15a44dffd6476b2b55"))))
355 (dnserr :ns ((radius.ns.dnserr :ip radius.dmz)
356 (vampire.ns.dnserr :ip vampire.dmz)
357 (precision.ns.dnserr :ip precision.jump)
358 (telecaster.ns.dnserr :ip telecaster.jump)
359 (national.ns.dnserr :ip national.linode))
360 :ds ((40945 :rsasha256 :sha1
361 "f35b5d0b877b940e63ad1b3afc21d6ba83cd1b3b")
362 (40945 :rsasha256 :sha256
363 #.(concatenate 'string "fb171d206d4d64c5a7a6c290ce6e20df"
364 "44f1db7f41e2260f1fe8d7c55d524c11"))))
365 (io :ns ((ns.io :ip jazz.jump))))
366
367 ;;;--------------------------------------------------------------------------
368 ;;; Other subsidiary zones.
369
370 (defzone dhcp.distorted.org.uk
371 :ns ((radius.ns :ip radius.dmz)
372 (vampire.ns :ip vampire.dmz)
373 (precision.ns :ip precision.jump)
374 (telecaster.ns :ip telecaster.jump)
375 (national.ns :ip national.linode))
376 (gibson :addr gibson.unsafe)
377 (crybaby :addr crybaby.unsafe)
378 (lespaul :addr lespaul.unsafe)
379 (gretsch :addr gretsch.unsafe)
380 (spirit :addr spirit.unsafe)
381 (haze :addr haze.unsafe)
382 (invader :addr invader.safe)
383 (marauder :addr marauder.safe))
384
385 (defzone dyn.distorted.org.uk
386 :ns ((radius.ns :ip radius)
387 (vampire.ns :ip vampire)
388 (precision.ns :ip precision)
389 (telecaster.ns :ip telecaster)
390 (national.ns :ip national)))
391
392 (defzone nicko.org
393 (richmond :addr richmond.jump))
394
395 (defrevzone trusted
396 :ns (radius.distorted.org.uk.
397 vampire.distorted.org.uk.
398 precision.distorted.org.uk.
399 telecaster.distorted.org.uk.
400 national.distorted.org.uk.)
401 :reverse unsafe
402 :reverse vpn
403 :reverse colo
404 :reverse its
405 :reverse any
406 (dhcp :ns (radius.distorted.org.uk.
407 vampire.distorted.org.uk.
408 precision.distorted.org.uk.
409 telecaster.distorted.org.uk.
410 national.distorted.org.uk.))
411 :multi (((dhcp safe) :family :ipv4 :suffix "199.29.172.dhcp") :cname *))
412
413 (defzone dhcp.199.29.172.in-addr.arpa
414 :ns (radius.distorted.org.uk.
415 vampire.distorted.org.uk.
416 precision.distorted.org.uk.
417 telecaster.distorted.org.uk.
418 national.distorted.org.uk.))
419
420 (defrevzone untrusted
421 :ns (radius.distorted.org.uk.
422 vampire.distorted.org.uk.
423 precision.distorted.org.uk.
424 telecaster.distorted.org.uk.
425 national.distorted.org.uk.))
426
427 (defzone 128-143.238.187.81.in-addr.arpa
428 :ns (radius.distorted.org.uk.
429 vampire.distorted.org.uk.
430 precision.distorted.org.uk.
431 telecaster.distorted.org.uk.
432 national.distorted.org.uk.
433 secondary-dns.co.uk.)
434 :reverse ((((:ipv4 dmz)))))
435
436 (defzone 195.113.2.81.in-addr.arpa
437 :ns (radius.distorted.org.uk.
438 vampire.distorted.org.uk.
439 precision.distorted.org.uk.
440 telecaster.distorted.org.uk.
441 national.distorted.org.uk.
442 secondary-dns.co.uk.)
443 :reverse ((((:ipv4 gw)))))
444
445 (defrevzone (jump :family :ipv6)
446 :ns (radius.distorted.org.uk.
447 vampire.distorted.org.uk.
448 precision.distorted.org.uk.
449 telecaster.distorted.org.uk.
450 national.distorted.org.uk.)
451 :reverse jump)
452
453 (defrevzone (jump :family :ipv4)
454 (64-79 :ns (radius.distorted.org.uk.
455 vampire.distorted.org.uk.
456 precision.distorted.org.uk.
457 telecaster.distorted.org.uk.
458 national.distorted.org.uk.))
459 :multi ((jump :suffix "64-79") :cname *))
460
461 (defzone 64-79.198.13.212.in-addr.arpa
462 :ns (radius.distorted.org.uk.
463 vampire.distorted.org.uk.
464 precision.distorted.org.uk.
465 telecaster.distorted.org.uk.
466 national.distorted.org.uk.)
467 :reverse ((((:ipv4 jump)))))
468
469 (defrevzone (distorted.org.uk-aaisp :family :ipv6)
470 :ns (radius.distorted.org.uk.
471 vampire.distorted.org.uk.
472 precision.distorted.org.uk.
473 telecaster.distorted.org.uk.
474 national.distorted.org.uk.
475 secondary-dns.co.uk.)
476 (0.7.3.6.8.6.4.6.1.0.0.0 :ns (radius.distorted.org.uk.
477 vampire.distorted.org.uk.
478 precision.distorted.org.uk.
479 telecaster.distorted.org.uk.
480 national.distorted.org.uk.))
481 :reverse ((((:ipv6 distorted.org.uk-aaisp)))))
482
483 (defrevzone (dhcp :family :ipv6)
484 :ns (radius.distorted.org.uk.
485 vampire.distorted.org.uk.
486 precision.distorted.org.uk.
487 telecaster.distorted.org.uk.
488 national.distorted.org.uk.))
489
490 (defrevzone distorted.org.uk-jump
491 :ns (radius.distorted.org.uk.
492 vampire.distorted.org.uk.
493 precision.distorted.org.uk.
494 telecaster.distorted.org.uk.
495 national.distorted.org.uk.)
496 :reverse distorted.org.uk-jump)
497
498 (defzone io.distorted.org.uk
499 :ns ((ns :ip jazz.jump))
500 (about :txt "Fake zone used for IP-over-DNS tunnelling."))
501
502 ;;;----- That's all, folks --------------------------------------------------