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:

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