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:

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