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:

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