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:

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