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:

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