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