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