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:

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