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