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