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:

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