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:

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