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