madduck's git repository

Every one of the projects in this repository is available at the canonical URL git://git.madduck.net/madduck/pub/<projectpath> — see each project's metadata for the exact URL.

All patches and comments are welcome. Please squash your changes to logical commits before using git-format-patch and git-send-email to patches@git.madduck.net. If you'd read over the Git project's submission guidelines and adhered to them, I'd be especially grateful.

SSH access, as well as push access can be individually arranged.

If you use my repositories frequently, consider adding the following snippet to ~/.gitconfig and using the third clone URL listed for each project:

[url "git://git.madduck.net/madduck/"]
  insteadOf = madduck:

add a new swan.madduck.net
[etc/ssh.git] / .ssh / config.in
1 Host 127.0.0.1 | localhost
2   ForwardAgent yes
3   ForwardX11 yes
4   ForwardX11Trusted yes
5   NoHostAuthenticationForLocalhost yes
6
7 ### CHARADE KVM HOST
8
9 Host charade.madduck.net | charade
10   ForwardAgent yes
11   Hostname charade.madduck.net
12 Host charade-vnc
13   ControlMaster no
14   ControlPath none
15   Hostname charade.madduck.net
16
17 Host emily.madduck.net | emily
18   ForwardAgent yes
19   Hostname emily.madduck.net
20
21 Host matilda.madduck.net | matilda
22   ForwardAgent yes
23   Hostname matilda.madduck.net
24
25 Host vizier.madduck.net | vizier
26   ForwardAgent yes
27   Hostname vizier.madduck.net
28 Host admin.madduck.net | admin
29   Hostname admin.madduck.net
30   HostKeyAlias vizier.madduck.net
31   User git
32
33 Host ambassador.madduck.net | ambassador
34   ForwardAgent yes
35   Hostname ambassador.madduck.net
36
37 Host alan.madduck.net | alan
38   ForwardAgent yes
39   Hostname alan.madduck.net
40
41 Host swan.madduck.net | swan
42   ForwardAgent yes
43   Hostname swan.madduck.net
44
45 ### KHYBER KVM HOST
46
47 Host khyber.madduck.net | khyber
48   ForwardAgent yes
49   Hostname khyber.madduck.net
50 Host khyber-vnc
51   ControlMaster no
52   ControlPath none
53   Hostname khyber.madduck.net
54
55 Host lotus.madduck.net | lotus
56   ForwardAgent yes
57   Hostname lotus.madduck.net
58 Host git.madduck.net | git
59   User git
60   HostKeyAlias lotus.madduck.net
61 Host git.debian.ch
62   User git
63   HostKeyAlias lotus.madduck.net
64 Host martin-krafft.net
65   User madduck
66   HostKeyAlias lotus.madduck.net
67 Host phd.martin-krafft.net
68   User madduck
69   HostKeyAlias lotus.madduck.net
70 Host madduck.net
71   User madduck
72   HostKeyAlias lotus.madduck.net
73
74 Host jugband.madduck.net | jugband
75   ForwardAgent yes
76   Hostname jugband.madduck.net
77
78 Host domine.madduck.net | domine
79   ForwardAgent yes
80   Hostname domine.madduck.net
81 Host imap.madduck.net
82   HostKeyAlias domine.madduck.net
83
84 Host aika.krafftwerk.de | aika
85   Hostname aika.krafftwerk.de
86
87 Host sysyphus.madduck.net | sysyphus
88   ForwardAgent yes
89   Hostname sysyphus.madduck.net
90 Host ssh443.madduck.net | ssh443
91   HostKeyAlias sysyphus.madduck.net
92   ForwardAgent yes
93   Port 443
94 Host openvpn.madduck.net | openvpn
95   HostKeyAlias sysyphus.madduck.net
96
97 ### UNI ZURICH MACHINES
98
99 Host diamond.madduck.net | diamond
100   ForwardAgent yes
101   Hostname diamond.madduck.net
102 Host debian.madduck.net | debian
103   HostKeyAlias diamond.madduck.net
104 Host scratch.madduck.net | scratch
105   User madduck
106   HostKeyAlias diamond.madduck.net
107 Host tunes.madduck.net | tunes
108   AddressFamily inet
109   ControlMaster no
110   Hostname tunes.madduck.net
111   HostKeyAlias diamond.madduck.net
112   IPQoS lowdelay af13
113 Host flics.madduck.net | flics
114   AddressFamily inet
115   ControlMaster no
116   Hostname flics.madduck.net
117   HostKeyAlias diamond.madduck.net
118   IPQoS lowdelay af13
119
120 Host shelter.madduck.net | shelter
121   ForwardAgent yes
122   Hostname shelter.madduck.net
123 Host backup.madduck.net | backup
124   HostKeyAlias shelter.madduck.net
125
126 Host sergei.ifi.uzh.ch | sergei
127   Hostname sergei.ifi.uzh.ch
128   User krafft
129 Host nikolai.ifi.uzh.ch | nikolai
130   Hostname nikolai.ifi.uzh.ch
131   User krafft
132 Host franz.ifi.uzh.ch | franz
133   Hostname franz.ifi.uzh.ch
134   User krafft
135
136 ### PIPER / BYTEMARK
137
138 Host piper.madduck.net | piper
139   Hostname piper.madduck.net
140
141 ### ARNOLD / GPLHOST
142
143 Host arnold.madduck.net | arnold
144   Hostname arnold.madduck.net
145 Host arnold-host | arnold-host.madduck.net
146   Hostname arnold-host.madduck.net
147   User xen05
148 Host irc
149   User madduck
150   Hostname arnold.madduck.net
151   ConnectTimeout 60
152
153 ### GERN
154
155 Host wall.gern.madduck.net | wall
156   CheckHostIP no
157   ForwardAgent yes
158   Hostname wall.gern.madduck.net
159
160 Host julia.gern.madduck.net | julia
161   Hostname julia.gern.madduck.net
162   ForwardAgent yes
163   ForwardX11 yes
164
165 Host git.gern.madduck.net | git.gern
166   ForwardAgent yes
167   HostKeyAlias julia.gern.madduck.net
168 Host annex.gern.madduck.net | annex.gern
169   ForwardAgent yes
170   HostKeyAlias julia.gern.madduck.net
171 Host shared.gern.madduck.net | shared.gern
172   ForwardAgent yes
173   HostKeyAlias julia.gern.madduck.net
174
175 Host pict.gern.madduck.net | pict
176   Hostname pict.gern.madduck.net
177   ForwardAgent yes
178   ForwardX11 yes
179
180 Host visitor*.gern.madduck.net | visitor*.gern | visitor*
181   StrictHostKeyChecking no
182   UserKnownHostsFile /dev/null
183
184 ### LEHEL
185
186 Host clegg.lehel.madduck.net | clegg.lehel | clegg
187   CheckHostIP no
188   ForwardAgent yes
189   Hostname clegg.lehel.madduck.net
190
191 Host albatross.lehel.madduck.net | albatross.lehel | albatross
192   Hostname albatross.lehel.madduck.net
193   ForwardAgent yes
194   ForwardX11 yes
195   HostKeyAlias albatross.lehel
196
197 ### GAUTING
198
199 Host embryo.gauting.madduck.net | embryo
200   CheckHostIP no
201   ForwardAgent yes
202   Hostname embryo.gauting.madduck.net
203   HostKeyAlias embryo.gauting.madduck.net
204
205 Host mother.gauting | mother | mother.gauting.madduck.net
206   Hostname mother.gauting
207   ForwardAgent yes
208   ForwardX11 yes
209 Host mothere
210   Hostname embryo.gauting.madduck.net
211   Port 22021
212   CheckHostIP no
213   ForwardAgent yes
214   ForwardX11 yes
215   HostKeyAlias mother.gauting.madduck.net
216
217 Host brick.gauting.madduck.net | brick
218   Hostname brick.gauting.madduck.net
219   ForwardAgent yes
220   ForwardX11 yes
221 Host bricke
222   Hostname embryo.gauting.madduck.net
223   Port 22222
224   CheckHostIP no
225   ForwardAgent yes
226   ForwardX11 yes
227   HostKeyAlias brick.gauting.madduck.net
228
229 ### MOUNT VICTORIA
230
231 Host atom.mtvic.madduck.net | atom.mtvic | atom
232   Hostname atom.mtvic.madduck.net
233   ForwardAgent yes
234
235 ### ROAD WARRIORS
236
237 Host fishbowl.*
238   CheckHostIP no
239   ForwardAgent yes
240   ForwardX11 yes
241   HostKeyAlias fishbowl
242
243 Host fishbowl | fishbowl.rw.madduck.net
244   CheckHostIP no
245   ForwardAgent yes
246   ForwardX11 yes
247   HostKeyAlias fishbowl
248   ProxyCommand bash -c "TARGETS=$( (TRIES=%h.{gern,lehel,rw}.madduck.net; eval fping -aAC1 -t100 $TRIES; eval fping6 -aAC1 -t100 $TRIES; wait) 2>&1 | sed -rne 's, : ([[:digit:]]), @\1,p' | sort -t@ -k2n | sed -ne 's, .*,,p' | tr '\n' ','); echo Targets: \$TARGETS using \${TARGETS%%%%,*} … >&2; nc -vq0 \${TARGETS%%%%,*} %p"
249
250 ### LOCAL VIRT HOSTS
251
252 Host *.virt | 192.168.122.* | red | green | blue | yellow | black | white | orange | violet
253   CheckHostIP no
254   ForwardAgent yes
255   StrictHostKeyChecking no
256   UserKnownHostsFile /dev/null
257   ControlMaster no
258   User root
259   CanonicalDomains virt
260   CanonicalizeHostname yes
261   CanonicalizeFallbackLocal no
262   CanonicalizeMaxDots 0
263
264 ### DEBIAN
265
266 Host scm.alioth.debian.org
267   HostKeyAlias moszumanska.debian.org
268   User madduck
269 Host svn.debian.org
270   HostKeyAlias moszumanska.debian.org
271   User madduck
272 Host git.debian.org
273   HostKeyAlias moszumanska.debian.org
274   User madduck
275 Host hg.debian.org
276   HostKeyAlias moszumanska.debian.org
277   User madduck
278 Host cvs.debian.org
279   HostKeyAlias moszumanska.debian.org
280   User madduck
281
282 Host people.debian.org | people
283   Hostname people.debian.org
284   HostKeyAlias paradis.debian.org
285   User madduck
286
287 Host abel.debian.org | abel
288   Hostname abel.debian.org
289   User madduck
290 Host adayevskaya.debian.org | adayevskaya
291   Hostname adayevskaya.debian.org
292   User madduck
293 Host alkman.debian.org | alkman
294   Hostname alkman.debian.org
295   User madduck
296 Host alwyn.debian.org | alwyn
297   Hostname alwyn.debian.org
298   User madduck
299 Host ancina.debian.org | ancina
300   Hostname ancina.debian.org
301   User madduck
302 Host antheil.debian.org | antheil
303   Hostname antheil.debian.org
304   User madduck
305 Host arnold.debian.org
306   Hostname arnold.debian.org
307   User madduck
308 Host asdfasdf.debian.net | asdfasdf
309   Hostname asdfasdf.debian.net
310   User madduck
311 Host babin.debian.org | babin
312   Hostname babin.debian.org
313   User madduck
314 Host backuphost.debian.org | backuphost
315   Hostname backuphost.debian.org
316   User madduck
317 Host ball.debian.org | ball
318   Hostname ball.debian.org
319   User madduck
320 Host barber.debian.org | barber
321   Hostname barber.debian.org
322   User madduck
323 Host barriere.debian.org | barriere
324   Hostname barriere.debian.org
325   User madduck
326 Host beach.debian.org | beach
327   Hostname beach.debian.org
328   User madduck
329 Host beethoven.debian.org | beethoven
330   Hostname beethoven.debian.org
331   User madduck
332 Host bendel.debian.org | bendel
333   Hostname bendel.debian.org
334   User madduck
335 Host berlioz.debian.org | berlioz
336   Hostname berlioz.debian.org
337   User madduck
338 Host bertali.debian.org | bertali
339   Hostname bertali.debian.org
340   User madduck
341 Host biber.debian.org | biber
342   Hostname biber.debian.org
343   User madduck
344 Host binet.debian.org | binet
345   Hostname binet.debian.org
346   User madduck
347 Host bizet.debian.org | bizet
348   Hostname bizet.debian.org
349   User madduck
350 Host blavet.debian.org | blavet
351   Hostname blavet.debian.org
352   User madduck
353 Host bm-bl1.debian.org | bm-bl1
354   Hostname bm-bl1.debian.org
355   User madduck
356 Host bm-bl10.debian.org | bm-bl10
357   Hostname bm-bl10.debian.org
358   User madduck
359 Host bm-bl11.debian.org | bm-bl11
360   Hostname bm-bl11.debian.org
361   User madduck
362 Host bm-bl12.debian.org | bm-bl12
363   Hostname bm-bl12.debian.org
364   User madduck
365 Host bm-bl2.debian.org | bm-bl2
366   Hostname bm-bl2.debian.org
367   User madduck
368 Host bm-bl3.debian.org | bm-bl3
369   Hostname bm-bl3.debian.org
370   User madduck
371 Host bm-bl4.debian.org | bm-bl4
372   Hostname bm-bl4.debian.org
373   User madduck
374 Host bm-bl5.debian.org | bm-bl5
375   Hostname bm-bl5.debian.org
376   User madduck
377 Host bm-bl6.debian.org | bm-bl6
378   Hostname bm-bl6.debian.org
379   User madduck
380 Host bm-bl7.debian.org | bm-bl7
381   Hostname bm-bl7.debian.org
382   User madduck
383 Host bm-bl8.debian.org | bm-bl8
384   Hostname bm-bl8.debian.org
385   User madduck
386 Host bm-bl9.debian.org | bm-bl9
387   Hostname bm-bl9.debian.org
388   User madduck
389 Host bmdb1.debian.org | bmdb1
390   Hostname bmdb1.debian.org
391   User madduck
392 Host boito.debian.org | boito
393   Hostname boito.debian.org
394   User madduck
395 Host brahms.debian.org | brahms
396   Hostname brahms.debian.org
397   User madduck
398 Host busoni.debian.org | busoni
399   Hostname busoni.debian.org
400   User madduck
401 Host buxtehude.debian.org | buxtehude
402   Hostname buxtehude.debian.org
403   User madduck
404 Host byrd.debian.org | byrd
405   Hostname byrd.debian.org
406   User madduck
407 Host caballero.debian.org | caballero
408   Hostname caballero.debian.org
409   User madduck
410 Host chopin.debian.org | chopin
411   Hostname chopin.debian.org
412   User madduck
413 Host clementi.debian.org | clementi
414   Hostname clementi.debian.org
415   User madduck
416 Host coccia.debian.org | coccia
417   Hostname coccia.debian.org
418   User madduck
419 Host corelli.debian.org | corelli
420   Hostname corelli.debian.org
421   User madduck
422 Host couper.debian.org | couper
423   Hostname couper.debian.org
424   User madduck
425 Host czerny.debian.org | czerny
426   Hostname czerny.debian.org
427   User madduck
428 Host danzi.debian.org | danzi
429   Hostname danzi.debian.org
430   User madduck
431 Host delfin.debian.org | delfin
432   Hostname delfin.debian.org
433   User madduck
434 Host denis.debian.org | denis
435   Hostname denis.debian.org
436   User madduck
437 Host diabelli.debian.org | diabelli
438   Hostname diabelli.debian.org
439   User madduck
440 Host dijkstra.debian.org | dijkstra
441   Hostname dijkstra.debian.org
442   User madduck
443 Host dillon.debian.org | dillon
444   Hostname dillon.debian.org
445   User madduck
446 Host dinis.debian.org | dinis
447   Hostname dinis.debian.org
448   User madduck
449 Host donizetti.debian.org | donizetti
450   Hostname donizetti.debian.org
451   User madduck
452 Host draghi.debian.org | draghi
453   Hostname draghi.debian.org
454   User madduck
455 Host dukas.debian.org | dukas
456   Hostname dukas.debian.org
457   User madduck
458 Host eberlin.debian.org | eberlin
459   Hostname eberlin.debian.org
460   User madduck
461 Host eder.debian.org | eder
462   Hostname eder.debian.org
463   User madduck
464 Host elgar.debian.org | elgar
465   Hostname elgar.debian.org
466   User madduck
467 Host exodar.debian.net | exodar
468   Hostname exodar.debian.net
469   User madduck
470 Host eysler.debian.org | eysler
471   Hostname eysler.debian.org
472   User madduck
473 Host falla.debian.org | falla
474   Hostname falla.debian.org
475   User madduck
476 Host fano.debian.org | fano
477   Hostname fano.debian.org
478   User madduck
479 Host fayrfax.debian.org | fayrfax
480   Hostname fayrfax.debian.org
481   User madduck
482 Host fils.debian.org | fils
483   Hostname fils.debian.org
484   User madduck
485 Host finzi.debian.org | finzi
486   Hostname finzi.debian.org
487   User madduck
488 Host fischer.debian.org | fischer
489   Hostname fischer.debian.org
490   User madduck
491 Host franck.debian.org | franck
492   Hostname franck.debian.org
493   User madduck
494 Host gabrielli.debian.org | gabrielli
495   Hostname gabrielli.debian.org
496   User madduck
497 Host geo1.debian.org | geo1
498   Hostname geo1.debian.org
499   User madduck
500 Host geo2.debian.org | geo2
501   Hostname geo2.debian.org
502   User madduck
503 Host geo3.debian.org | geo3
504   Hostname geo3.debian.org
505   User madduck
506 Host glinka.debian.org | glinka
507   Hostname glinka.debian.org
508   User madduck
509 Host gluck.debian.org | gluck
510   Hostname gluck.debian.org
511   User madduck
512 Host gombert.debian.org | gombert
513   Hostname gombert.debian.org
514   User madduck
515 Host handel.debian.org | handel
516   Hostname handel.debian.org
517   User madduck
518 Host harris.debian.org | harris
519   Hostname harris.debian.org
520   User madduck
521 Host hartmann.debian.org | hartmann
522   Hostname hartmann.debian.org
523   User madduck
524 Host hasse.debian.org | hasse
525   Hostname hasse.debian.org
526   User madduck
527 Host henze.debian.org | henze
528   Hostname henze.debian.org
529   User madduck
530 Host hoiby.debian.org | hoiby
531   Hostname hoiby.debian.org
532   User madduck
533 Host howells.debian.org | howells
534   Hostname howells.debian.org
535   User madduck
536 Host hummel.debian.org | hummel
537   Hostname hummel.debian.org
538   User madduck
539 Host io.debian.net | io
540   Hostname io.debian.net
541   User madduck
542 Host ipa.debian.net | ipa
543   Hostname ipa.debian.net
544   User madduck
545 Host jenkins.debian.org | jenkins
546   Hostname jenkins.debian.org
547   User madduck
548 Host kaufmann.debian.org | kaufmann
549   Hostname kaufmann.debian.org
550   User madduck
551 Host klecker.debian.org | klecker
552   Hostname klecker.debian.org
553   User madduck
554 Host lebrun.debian.org | lebrun
555   Hostname lebrun.debian.org
556   User madduck
557 Host lilburn.debian.org | lilburn
558   Hostname lilburn.debian.org
559   User madduck
560 Host lobos.debian.org | lobos
561   Hostname lobos.debian.org
562   User madduck
563 Host lotti.debian.org | lotti
564   Hostname lotti.debian.org
565   User madduck
566 Host lucatelli.debian.org | lucatelli
567   Hostname lucatelli.debian.org
568   User madduck
569 Host luchesi.debian.org | luchesi
570   Hostname luchesi.debian.org
571   User madduck
572 Host lully.debian.org | lully
573   Hostname lully.debian.org
574   User madduck
575 Host lw01.debian.org | lw01
576   Hostname lw01.debian.org
577   User madduck
578 Host lw02.debian.org | lw02
579   Hostname lw02.debian.org
580   User madduck
581 Host lw03.debian.org | lw03
582   Hostname lw03.debian.org
583   User madduck
584 Host lw04.debian.org | lw04
585   Hostname lw04.debian.org
586   User madduck
587 Host lw07.debian.org | lw07
588   Hostname lw07.debian.org
589   User madduck
590 Host lw08.debian.org | lw08
591   Hostname lw08.debian.org
592   User madduck
593 Host mailly.debian.org | mailly
594   Hostname mailly.debian.org
595   User madduck
596 Host master.debian.org | master
597   Hostname master.debian.org
598   User madduck
599 Host mayer.debian.org | mayer
600   Hostname mayer.debian.org
601   User madduck
602 Host mayr.debian.org | mayr
603   Hostname mayr.debian.org
604   User madduck
605 Host menotti.debian.org | menotti
606   Hostname menotti.debian.org
607   User madduck
608 Host merulo.debian.org | merulo
609   Hostname merulo.debian.org
610   User madduck
611 Host milanollo.debian.org | milanollo
612   Hostname milanollo.debian.org
613   User madduck
614 Host mipsel-manda-01.debian.org | mipsel-manda-01
615   Hostname mipsel-manda-01.debian.org
616   User madduck
617 Host mipsel-manda-02.debian.org | mipsel-manda-02
618   Hostname mipsel-manda-02.debian.org
619   User madduck
620 Host moszumanska.debian.org | moszumanska
621   Hostname moszumanska.debian.org
622   User madduck
623 Host muffat.debian.org | muffat
624   Hostname muffat.debian.org
625   User madduck
626 Host mundy.debian.org | mundy
627   Hostname mundy.debian.org
628   User madduck
629 Host murphy.debian.org | murphy
630   Hostname murphy.debian.org
631   User madduck
632 Host nono.debian.org | nono
633   Hostname nono.debian.org
634   User madduck
635 Host oyens.debian.org | oyens
636   Hostname oyens.debian.org
637   User madduck
638 Host paradis.debian.org | paradis
639   Hostname paradis.debian.org
640   User madduck
641 Host parry.debian.org | parry
642   Hostname parry.debian.org
643   User madduck
644 Host partch.debian.org | partch
645   Hostname partch.debian.org
646   User madduck
647 Host pasquini.debian.org | pasquini
648   Hostname pasquini.debian.org
649   User madduck
650 Host pastel.debian.net | pastel
651   Hostname pastel.debian.net
652   User madduck
653 Host pejacevic.debian.org | pejacevic
654   Hostname pejacevic.debian.org
655   User madduck
656 Host peri.debian.org | peri
657   Hostname peri.debian.org
658   User madduck
659 Host petrova.debian.org | petrova
660   Hostname petrova.debian.org
661   User madduck
662 Host pettersson.debian.org | pettersson
663   Hostname pettersson.debian.org
664   User madduck
665 Host philp.debian.org | philp
666   Hostname philp.debian.org
667   User madduck
668 Host picconi.debian.org | picconi
669   Hostname picconi.debian.org
670   User madduck
671 Host piu-slave-bm-a.debian.org | piu-slave-bm-a
672   Hostname piu-slave-bm-a.debian.org
673   User madduck
674 Host pkgmirror-1and1.debian.org | pkgmirror-1and1
675   Hostname pkgmirror-1and1.debian.org
676   User madduck
677 Host popov.debian.org | popov
678   Hostname popov.debian.org
679   User madduck
680 Host porpora.debian.org | porpora
681   Hostname porpora.debian.org
682   User madduck
683 Host portman.debian.org | portman
684   Hostname portman.debian.org
685   User madduck
686 Host poulenc.debian.org | poulenc
687   Hostname poulenc.debian.org
688   User madduck
689 Host powell.debian.org | powell
690   Hostname powell.debian.org
691   User madduck
692 Host praetorius.debian.org | praetorius
693   Hostname praetorius.debian.org
694   User madduck
695 Host quantz.debian.org | quantz
696   Hostname quantz.debian.org
697   User madduck
698 Host rainier.debian.org | rainier
699   Hostname rainier.debian.org
700   User madduck
701 Host rapoport.debian.org | rapoport
702   Hostname rapoport.debian.org
703   User madduck
704 Host rautavaara.debian.org | rautavaara
705   Hostname rautavaara.debian.org
706   User madduck
707 Host ravel.debian.org | ravel
708   Hostname ravel.debian.org
709   User madduck
710 Host reger.debian.org | reger
711   Hostname reger.debian.org
712   User madduck
713 Host rem.debian.org | rem
714   Hostname rem.debian.org
715   User madduck
716 Host ries.debian.org | ries
717   Hostname ries.debian.org
718   User madduck
719 Host rietz.debian.org | rietz
720   Hostname rietz.debian.org
721   User madduck
722 Host rossini.debian.org | rossini
723   Hostname rossini.debian.org
724   User madduck
725 Host saens.debian.org | saens
726   Hostname saens.debian.org
727   User madduck
728 Host salieri.debian.org | salieri
729   Hostname salieri.debian.org
730   User madduck
731 Host santoro.debian.org | santoro
732   Hostname santoro.debian.org
733   User madduck
734 Host scelsi.debian.org | scelsi
735   Hostname scelsi.debian.org
736   User madduck
737 Host schein.debian.org | schein
738   Hostname schein.debian.org
739   User madduck
740 Host schroeder.debian.org | schroeder
741   Hostname schroeder.debian.org
742   User madduck
743 Host schumann.debian.org | schumann
744   Hostname schumann.debian.org
745   User madduck
746 Host sechter.debian.org | sechter
747   Hostname sechter.debian.org
748   User madduck
749 Host senfl.debian.org | senfl
750   Hostname senfl.debian.org
751   User madduck
752 Host senfter.debian.org | senfter
753   Hostname senfter.debian.org
754   User madduck
755 Host sh4.g15.jp | sh4
756   Hostname sh4.g15.jp
757   User madduck
758 Host sibelius.debian.org | sibelius
759   Hostname sibelius.debian.org
760   User madduck
761 Host smetana.debian.org | smetana
762   Hostname smetana.debian.org
763   User madduck
764 Host soler.debian.org | soler
765   Hostname soler.debian.org
766   User madduck
767 Host sompek.debian.org | sompek
768   Hostname sompek.debian.org
769   User madduck
770 Host sonntag.debian.org | sonntag
771   Hostname sonntag.debian.org
772   User madduck
773 Host spohr.debian.org | spohr
774   Hostname spohr.debian.org
775   User madduck
776 Host spontini.debian.org | spontini
777   Hostname spontini.debian.org
778   User madduck
779 Host stabile.debian.org | stabile
780   Hostname stabile.debian.org
781   User madduck
782 Host stadler.debian.org | stadler
783   Hostname stadler.debian.org
784   User madduck
785 Host steffani.debian.org | steffani
786   Hostname steffani.debian.org
787   User madduck
788 Host stockhausen.debian.org | stockhausen
789   Hostname stockhausen.debian.org
790   User madduck
791 Host storace.debian.org | storace
792   Hostname storace.debian.org
793   User madduck
794 Host strauss.debian.net | strauss
795   Hostname strauss.debian.net
796   User madduck
797 Host sumotsu.debian.net | sumotsu
798   Hostname sumotsu.debian.net
799   User madduck
800 Host tchaikovsky.debian.org | tchaikovsky
801   Hostname tchaikovsky.debian.org
802   User madduck
803 Host ticharich.debian.org | ticharich
804   Hostname ticharich.debian.org
805   User madduck
806 Host traetta.debian.org | traetta
807   Hostname traetta.debian.org
808   User madduck
809 Host tristano.debian.org | tristano
810   Hostname tristano.debian.org
811   User madduck
812 Host tye.debian.org | tye
813   Hostname tye.debian.org
814   User madduck
815 Host ullmann.debian.org | ullmann
816   Hostname ullmann.debian.org
817   User madduck
818 Host unger.debian.org | unger
819   Hostname unger.debian.org
820   User madduck
821 Host vasks.debian.org | vasks
822   Hostname vasks.debian.org
823   User madduck
824 Host vento.debian.org | vento
825   Hostname vento.debian.org
826   User madduck
827 Host villa.debian.org | villa
828   Hostname villa.debian.org
829   User madduck
830 Host vitry.debian.org | vitry
831   Hostname vitry.debian.org
832   User madduck
833 Host vogler.debian.org | vogler
834   Hostname vogler.debian.org
835   User madduck
836 Host wagner.debian.org | wagner
837   Hostname wagner.debian.org
838   User madduck
839 Host wieck.debian.org | wieck
840   Hostname wieck.debian.org
841   User madduck
842 Host wilder.debian.org | wilder
843   Hostname wilder.debian.org
844   User madduck
845 Host wolkenstein.debian.org | wolkenstein
846   Hostname wolkenstein.debian.org
847   User madduck
848 Host wuiet.debian.org | wuiet
849   Hostname wuiet.debian.org
850   User madduck
851 Host xoothais.err.no | xoothais
852   Hostname xoothais.err.no
853   User madduck
854 Host zandonai.debian.org | zandonai
855   Hostname zandonai.debian.org
856   User madduck
857 Host zani.debian.org | zani
858   Hostname zani.debian.org
859   User madduck
860 Host zelenka.debian.org | zelenka
861   Hostname zelenka.debian.org
862   User madduck
863 Host zemlinsky.debian.org | zemlinsky
864   Hostname zemlinsky.debian.org
865   User madduck
866
867 Host nelson.debconf.org | penta.debconf.org | nelson | summit | summit.debconf.org
868   Hostname nelson.debconf.org
869   ProxyCommand ssh sysyphus.madduck.net nc -q0 %h %p
870
871 Host kent.debconf.org | kent
872   Hostname kent.debconf.org
873   ProxyCommand ssh sysyphus.madduck.net nc -q0 %h %p
874
875 ### PENNY
876
877 Host lion.mjollnir.org | lion | fog.mjollnir.org | fog
878   Hostname lion.mjollnir.org
879
880 ### TILDE CLUB
881
882 Host remotes.club
883   Hostname remotes.club
884   Port 9022
885   User madduck
886
887 Host tilde.camp
888   Hostname tilde.camp
889   User madduck
890
891 Host squiggle.city
892   Hostname squiggle.city
893   User madduck
894
895 Host tilde.city
896   Hostname 001.tilde.city
897   User madduck
898
899 ### NZ
900
901 Host workbuffer.org | nz
902   Hostname workbuffer.org
903   User madduck
904
905 ### MISC
906
907 Host github.com | github
908   Hostname github.com
909   User git
910
911 ### DEFAULTS
912
913 Host *
914 # AddressFamily any
915 # BatchMode no
916 # CheckHostIP yes
917   Cipher blowfish
918 # Ciphers aes128-cbc,3des-cbc,blowfish-cbc,cast128-cbc,arcfour128,arcfour256,arcfour,aes192-cbc,aes256-cbc,aes128-ctr,aes192-ctr,aes256-ctr
919 # ClearAllForwardings no
920 # Compression no
921 # CompressionLevel 6
922 # ConnectionAttempts 1
923   ConnectTimeout 10
924   ControlPath ~/.var/ssh/ssh_control_%l_%h_%p_%r
925   ControlMaster auto
926   ControlPersist 30
927 ## DSAAuthentication no
928 # DynamicForward off
929 # EnableSSHKeysign no
930 # EscapeChar ~
931   ExitOnForwardFailure yes
932   ForwardAgent no
933   ForwardX11 no
934 # ForwardX11Trusted yes
935 # GatewayPorts no
936 # GlobalKnownHostsFile /etc/ssh/ssh_known_hosts
937   HashKnownHosts no
938 # HostbasedAuthentication no
939   HostKeyAlgorithms ssh-rsa
940 # IdentityFile ~/.ssh/identity
941   IdentityFile2 ~/.ssh/id_rsa
942   IPQoS lowdelay throughput
943 # KbdInteractiveDevices pam
944 # LocalCommand none
945 # LocalForward none
946 # LogLevel INFO
947   MACs hmac-sha1,umac-64@openssh.com,hmac-ripemd160,hmac-sha1-96,hmac-md5,hmac-md5-96
948 # NoHostAuthenticationForLocalhost no
949   NumberOfPasswordPrompts 2
950   PasswordAuthentication yes
951 # PermitLocalCommand no
952 # Port 22
953 # PreferredAuthentications gssapi-with-mic,hostbased,publickey,keyboard-interactive,password
954   Protocol 2
955 # ProxyCommand
956 # PubkeyAuthentication yes
957 # RekeyLimit 1G-4G #depends on cipher
958 # RemoteForward
959 # RhostsRSAAuthentication no
960 # RSAAuthentication no
961 # ServerAliveCountMax 3
962   ServerAliveInterval 45
963   SetupTimeOut 10
964 # SmartcardDevice off
965   StrictHostKeyChecking yes
966 # TCPKeepAlive yes
967 # Tunnel no
968 # TunnelDevice any:any
969 # UsePrivilegedPort no
970 # UserKnownHostsFile ~/.ssh/known_hosts
971 # VerifyHostKeyDNS no
972   VisualHostKey no
973 # XAuthLocation /usr/X11R6/bin/xauth