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 git.debian.ch stanza
[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 Host pulse.madduck.net | pulse
8   ForwardAgent yes
9   Hostname pulse.madduck.net
10   #AddressFamily inet
11 Host svn.madduck.net | svn
12   User madduck
13   HostKeyAlias pulse.madduck.net
14 Host scratch.madduck.net | scratch
15   User madduck
16   HostKeyAlias pulse.madduck.net
17   #AddressFamily inet
18 Host debian.madduck.net | debian
19   User madduck
20   HostKeyAlias pulse.madduck.net
21   #AddressFamily inet
22 Host openvpn.madduck.net | openvpn
23   User madduck
24   HostKeyAlias pulse.madduck.net
25   #AddressFamily inet
26 Host ssh443.madduck.net | ssh443
27   User madduck
28   HostKeyAlias pulse.madduck.net
29   ForwardAgent yes
30   Port 443
31 Host backup.madduck.net | backup
32   HostKeyAlias pulse.madduck.net
33   #AddressFamily inet
34
35 Host khyber.madduck.net | khyber
36   ForwardAgent yes
37   Hostname khyber.madduck.net
38
39 Host wots.madduck.net | wots
40   ForwardAgent yes
41   Hostname wots.madduck.net
42 Host buildd.debian.madduck.net | buildd
43   HostKeyAlias wots.madduck.net
44
45 Host lotus.madduck.net | lotus
46   ForwardAgent yes
47   Hostname lotus.madduck.net
48 Host git.madduck.net | git
49   User git
50   HostKeyAlias lotus.madduck.net
51 Host git.debian.ch
52   User git
53   HostKeyAlias lotus.madduck.net
54
55 Host jugband.madduck.net | jugband
56   ForwardAgent yes
57   Hostname jugband.madduck.net
58
59 Host vera.madduck.net | vera
60   ForwardAgent yes
61   Hostname vera.madduck.net
62
63 Host swan-host | swan-host.madduck.net
64   Hostname swan-host.madduck.net
65   User krafft
66
67 Host swan.madduck.net | swan
68   ForwardAgent yes
69   Hostname swan.madduck.net
70
71 Host domine.madduck.net | domine
72   ForwardAgent yes
73   Hostname domine.madduck.net
74
75 Host irc
76   Hostname bell.madduck.net
77
78 Host martin-krafft.net
79   User madduck
80   HostKeyAlias seamus.madduck.net
81 Host phd.martin-krafft.net
82   User madduck
83   HostKeyAlias seamus.madduck.net
84 Host madduck.net
85   User madduck
86   HostKeyAlias seamus.madduck.net
87
88 Host bell.madduck.net | bell
89   ForwardAgent yes
90   Hostname bell.madduck.net
91 Host tunes.madduck.net | tunes
92   AddressFamily inet
93   ControlMaster no
94   Hostname tunes.madduck.net
95   HostKeyAlias bell.madduck.net
96
97 Host sheep.umverkehr.ch | sheep | webmail.madduck.net | webmail
98   Hostname sheep.umverkehr.ch
99   User madduck
100
101 Host lapse.rw.madduck.net | lapse.oerlikon.madduck.net | lapse
102   CheckHostIP no
103   ForwardAgent yes
104   ForwardX11 yes
105
106 Host fishbowl.rw.madduck.net | fishbowl.oerlikon.madduck.net | fishbowl
107   CheckHostIP no
108   ForwardAgent yes
109   ForwardX11 yes
110
111 Host wall.oerlikon.madduck.net | wall
112   CheckHostIP no
113   ForwardAgent yes
114   Hostname wall.oerlikon.madduck.net
115
116 Host vizier.oerlikon.madduck.net | vizier
117   Hostname vizier.oerlikon.madduck.net
118   ForwardAgent yes
119
120 Host embryo.gauting.madduck.net | embryo
121   CheckHostIP no
122   ForwardAgent yes
123   Hostname embryo.gauting.madduck.net
124   HostKeyAlias embryo.gauting.madduck.net
125
126 Host piper.oerlikon.madduck.net | piper
127   Hostname piper.oerlikon.madduck.net
128   ForwardAgent yes
129   ForwardX11 yes
130 #  AddressFamily inet
131 Host pipere
132   Hostname wall.oerlikon.madduck.net
133   Port 22223
134   CheckHostIP no
135   ForwardAgent yes
136   ForwardX11 yes
137   HostKeyAlias piper.oerlikon.madduck.net
138
139 Host diamond.oerlikon.madduck.net | diamond
140   Hostname diamond.oerlikon.madduck.net
141   ForwardAgent yes
142   ForwardX11 yes
143 #  AddressFamily inet
144 Host diamonde
145   Hostname wall.oerlikon.madduck.net
146   Port 22224
147   CheckHostIP no
148   ForwardAgent yes
149   ForwardX11 yes
150   HostKeyAlias diamond.oerlikon.madduck.net
151
152 Host pict.oerlikon.madduck.net | pict
153   Hostname pict.oerlikon.madduck.net
154   ForwardAgent yes
155   ForwardX11 yes
156 #  AddressFamily inet
157
158 Host nokia-n900.oerlikon.madduck.net | nokia-n900 | n900
159   CheckHostIP no
160   ForwardAgent yes
161   ForwardX11 yes
162   User user
163
164 Host auge-fr.no-ip.org | auge
165   CheckHostIP no
166   Hostname auge-fr.no-ip.org
167   HostKeyAlias helena.home.mjollnir.org
168
169 Host hermia.home.mjollnir.org | hermia | lust.oerlikon.madduck.net | lust
170   CheckHostIP no
171   ForwardX11 yes
172   HostKeyAlias hermia.home.mjollnir.org
173
174 Host mother.gauting.madduck.net | mother
175   Hostname mother.gauting.madduck.net
176   ForwardAgent yes
177   ForwardX11 yes
178 Host mothere
179   Hostname embryo.gauting.madduck.net
180   Port 22221
181   CheckHostIP no
182   ForwardAgent yes
183   ForwardX11 yes
184   HostKeyAlias mother.gauting.madduck.net
185
186 Host brick.gauting.madduck.net | brick
187   Hostname brick.gauting.madduck.net
188   ForwardAgent yes
189   ForwardX11 yes
190 Host bricke
191   Hostname embryo.gauting.madduck.net
192   Port 22222
193   CheckHostIP no
194   ForwardAgent yes
195   ForwardX11 yes
196   HostKeyAlias brick.gauting.madduck.net
197
198 Host zlinli.no-ip.org | zlinli
199   CheckHostIP no
200   Hostname zlinli.no-ip.org
201
202 Host debian-community.org | bikeshed.debian-community.org | bikeshed
203   Hostname bikeshed.debian-community.org
204   User madduck
205   ForwardAgent no
206   ForwardX11 no
207
208 Host alioth.debian.org | alioth
209   Hostname alioth.debian.org
210   User madduck
211 Host svn.debian.org
212   HostKeyAlias alioth.debian.org
213   User madduck
214 Host git.debian.org
215   HostKeyAlias alioth.debian.org
216   User madduck
217 Host hg.debian.org
218   HostKeyAlias alioth.debian.org
219   User madduck
220 Host cvs.debian.org
221   HostKeyAlias alioth.debian.org
222   User madduck
223
224 Host malo.debian.org | malo
225   Hostname malo.debian.org
226   User madduck
227 Host paer.debian.org | paer
228   Hostname paer.debian.org
229   User madduck
230 Host crest.debian.org | crest
231   Hostname crest.debian.org
232   User madduck
233 Host saens.debian.org | saens
234   Hostname saens.debian.org
235   User madduck
236 Host spohr.debian.org | spohr
237   Hostname spohr.debian.org
238   User madduck
239 Host gluck.debian.org | gluck
240   Hostname gluck.debian.org
241   User madduck
242 Host elara.debian.org | elara
243   Hostname elara.debian.org
244   User madduck
245 Host sarti.debian.org | sarti
246   Hostname sarti.debian.org
247   User madduck
248 Host europa.debian.org | europa
249   Hostname europa.debian.org
250   User madduck
251 Host master.debian.org | master
252   Hostname master.debian.org
253   User madduck
254 Host bartok.debian.org | bartok
255   Hostname bartok.debian.org
256   User madduck
257 Host merulo.debian.org | merulo
258   Hostname merulo.debian.org
259   User madduck
260 Host merkel.debian.org | merkel
261   Hostname merkel.debian.org
262   User madduck
263 Host murphy.debian.org | murphy
264   Hostname murphy.debian.org
265   User madduck
266 Host raptor.debian.org | raptor
267   Hostname raptor.debian.org
268   User madduck
269 Host tartini.debian.org | tartini
270   Hostname tartini.debian.org
271   User madduck
272 Host raff.debian.org | raff
273   Hostname raff.debian.org
274   User madduck
275 Host klecker.debian.org | klecker
276   Hostname klecker.debian.org
277   User madduck
278 Host voltaire.debian.org | voltaire
279   Hostname voltaire.debian.org
280   User madduck
281 Host bruckner.debian.org | bruckner
282   Hostname bruckner.debian.org
283   User madduck
284 Host kullervo.debian.org | kullervo
285   Hostname kullervo.debian.org
286   User madduck
287 Host samosa.debian.org | samosa
288   Hostname samosa.debian.org
289   User madduck
290 Host caballero.debian.org | caballero
291   Hostname caballero.debian.org
292   User madduck
293 Host pergolesi.debian.org | pergolesi
294   Hostname pergolesi.debian.org
295   User madduck
296 Host spontini.debian.org | spontini
297   Hostname spontini.debian.org
298   User madduck
299 Host mayr.debian.org | mayr
300   Hostname mayr.debian.org
301   User madduck
302 Host mayer.debian.org | mayer
303   Hostname mayer.debian.org
304   User madduck
305 Host agnesi.debian.org | agnesi
306   Hostname agnesi.debian.org
307   User madduck
308 Host puccini.debian.org | puccini
309   Hostname puccini.debian.org
310   User madduck
311 Host villa.debian.org | villa
312   Hostname villa.debian.org
313   User madduck
314 Host piatti.debian.org | piatti
315   Hostname piatti.debian.org
316   User madduck
317 Host peri.debian.org | peri
318   Hostname peri.debian.org
319   User madduck
320 Host lobos.debian.org | lobos
321   Hostname lobos.debian.org
322   User madduck
323 Host wagner.debian.org | wagner
324   Hostname wagner.debian.org
325   User madduck
326 Host verdi.debian.org | verdi
327   Hostname verdi.debian.org
328   User madduck
329 Host ries.debian.org | ries
330   Hostname ries.debian.org
331   User madduck
332 Host goetz.debian.org | goetz
333   Hostname goetz.debian.org
334   User madduck
335 Host ravel.debian.org | ravel
336   Hostname ravel.debian.org
337   User madduck
338 Host rietz.debian.org | rietz
339   Hostname rietz.debian.org
340   User madduck
341 Host steffani.debian.org | steffani
342   Hostname steffani.debian.org
343   User madduck
344 Host lebrun.debian.org | lebrun
345   Hostname lebrun.debian.org
346   User madduck
347 Host liszt.debian.org | liszt
348   Hostname liszt.debian.org
349   User madduck
350 Host mundy.debian.org | mundy
351   Hostname mundy.debian.org
352   User madduck
353 Host albeniz.debian.org | albeniz
354   Hostname albeniz.debian.org
355   User madduck
356 Host sperger.debian.org | sperger
357   Hostname sperger.debian.org
358   User madduck
359 Host kassia.debian.org | kassia
360   Hostname kassia.debian.org
361   User madduck
362 Host agricola.debian.org | agricola
363   Hostname agricola.debian.org
364   User madduck
365 Host arcadelt.debian.org | arcadelt
366   Hostname arcadelt.debian.org
367   User madduck
368 Host penalosa.debian.org | penalosa
369   Hostname penalosa.debian.org
370   User madduck
371 Host argento.debian.org | argento
372   Hostname argento.debian.org
373   User madduck
374 Host allegri.debian.org | allegri
375   Hostname allegri.debian.org
376   User madduck
377 Host morales.debian.org | morales
378   Hostname morales.debian.org
379   User madduck
380 Host auber.debian.org | auber
381   Hostname auber.debian.org
382   User madduck
383 Host mahler.debian.org | mahler
384   Hostname mahler.debian.org
385   User madduck
386 Host schroeder.debian.org | schroeder
387   Hostname schroeder.debian.org
388   User madduck
389 Host powell.debian.org | powell
390   Hostname powell.debian.org
391   User madduck
392 Host rem.debian.org | rem
393   Hostname rem.debian.org
394   User madduck
395 Host smetana.debian.org | smetana
396   Hostname smetana.debian.org
397   User madduck
398 Host strauss.debian.net | strauss
399   Hostname strauss.debian.net
400   User madduck
401 Host bellini.debian.org | bellini
402   Hostname bellini.debian.org
403   User madduck
404
405 Host people.debian.org
406   HostKeyAlias ravel.debian.org
407   User madduck
408
409 Host sergei.ifi.uzh.ch | sergei
410   Hostname sergei.ifi.uzh.ch
411   User krafft
412 Host nikolai.ifi.uzh.ch | nikolai
413   Hostname nikolai.ifi.uzh.ch
414   User krafft
415
416 Host clegg-host | clegg-host.madduck.net | gratis2.opro.ch | opro
417   Hostname clegg-host.madduck.net
418   User madduck
419
420 Host skynet.skynet.ie | skynet.ie | skynet
421   Hostname skynet.skynet.ie
422   User madduck
423
424 Host *
425 # AddressFamily any
426 # BatchMode no
427 # CheckHostIP yes
428   Cipher blowfish
429 # Ciphers aes128-cbc,3des-cbc,blowfish-cbc,cast128-cbc,arcfour128,arcfour256,arcfour,aes192-cbc,aes256-cbc,aes128-ctr,aes192-ctr,aes256-ctr
430 # ClearAllForwardings no
431 # Compression no
432 # CompressionLevel 6
433 # ConnectionAttempts 1
434   ConnectTimeout 10
435   ControlPath ~/.var/ssh/ssh_control_%l_%h_%p_%r
436   ControlMaster auto
437 ## DSAAuthentication no
438 # DynamicForward off
439 # EnableSSHKeysign no
440 # EscapeChar ~
441   ExitOnForwardFailure yes
442   ForwardAgent no
443   ForwardX11 no
444 # ForwardX11Trusted yes
445 # GatewayPorts no
446 # GlobalKnownHostsFile /etc/ssh/ssh_known_hosts
447   HashKnownHosts no
448 # HostbasedAuthentication no
449   HostKeyAlgorithms ssh-rsa
450 # IdentityFile ~/.ssh/identity
451   IdentityFile2 ~/.ssh/id_rsa
452 # KbdInteractiveDevices pam
453 # LocalCommand none
454 # LocalForward none
455 # LogLevel INFO
456   MACs hmac-sha1,umac-64@openssh.com,hmac-ripemd160,hmac-sha1-96,hmac-md5,hmac-md5-96
457 # NoHostAuthenticationForLocalhost no
458   NumberOfPasswordPrompts 2
459   PasswordAuthentication yes
460 # PermitLocalCommand no
461 # Port 22
462 # PreferredAuthentications gssapi-with-mic,hostbased,publickey,keyboard-interactive,password
463   Protocol 2
464 # ProxyCommand
465 # PubkeyAuthentication yes
466 # RekeyLimit 1G-4G #depends on cipher
467 # RemoteForward
468 # RhostsRSAAuthentication no
469 # RSAAuthentication no
470 # ServerAliveCountMax 3
471   ServerAliveInterval 45
472   SetupTimeOut 10
473 # SmartcardDevice off
474   StrictHostKeyChecking yes
475 # TCPKeepAlive yes
476 # Tunnel no
477 # TunnelDevice any:any
478 # UsePrivilegedPort no
479 # UserKnownHostsFile ~/.ssh/known_hosts
480 # VerifyHostKeyDNS no
481   VisualHostKey no
482 # XAuthLocation /usr/X11R6/bin/xauth