]> 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:

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