]> git.madduck.net Git - etc/ssh.git/blob - .ssh/config.in

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:

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