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:

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