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:

set username for $vcs.debian.org
[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   Hostname 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   Hostname 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   User madduck
141 Host git.debian.org
142   HostKeyAlias alioth.debian.org
143   User madduck
144 Host hg.debian.org
145   HostKeyAlias alioth.debian.org
146   User madduck
147
148 Host vore.debian.org | vore
149   Hostname vore.debian.org
150   User madduck
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 auric.debian.org | auric
167   Hostname auric.debian.org
168   User madduck
169 Host gluck.debian.org | gluck
170   Hostname gluck.debian.org
171   User madduck
172 Host elara.debian.org | elara
173   Hostname elara.debian.org
174   User madduck
175 Host sarti.debian.org | sarti
176   Hostname sarti.debian.org
177   User madduck
178 Host europa.debian.org | europa
179   Hostname europa.debian.org
180   User madduck
181 Host goedel.debian.org | goedel
182   Hostname goedel.debian.org
183   User madduck
184 Host casals.debian.org | casals
185   Hostname casals.debian.org
186   User madduck
187 Host master.debian.org | master
188   Hostname master.debian.org
189   User madduck
190 Host bartok.debian.org | bartok
191   Hostname bartok.debian.org
192   User madduck
193 Host merulo.debian.org | merulo
194   Hostname merulo.debian.org
195   User madduck
196 Host merkel.debian.org | merkel
197   Hostname merkel.debian.org
198   User madduck
199 Host murphy.debian.org | murphy
200   Hostname murphy.debian.org
201   User madduck
202 Host escher.debian.org | escher
203   Hostname escher.debian.org
204   User madduck
205 Host raptor.debian.org | raptor
206   Hostname raptor.debian.org
207   User madduck
208 Host tartini.debian.org | tartini
209   Hostname tartini.debian.org
210   User madduck
211 Host raff.debian.org | raff
212   Hostname raff.debian.org
213   User madduck
214 Host klecker.debian.org | klecker
215   Hostname klecker.debian.org
216   User madduck
217 Host vaughan.debian.org | vaughan
218   Hostname vaughan.debian.org
219   User madduck
220 Host voltaire.debian.org | voltaire
221   Hostname voltaire.debian.org
222   User madduck
223 Host bruckner.debian.org | bruckner
224   Hostname bruckner.debian.org
225   User madduck
226 Host kullervo.debian.org | kullervo
227   Hostname kullervo.debian.org
228   User madduck
229 Host kullervo.debian.org | kullervo
230   Hostname kullervo.debian.org
231   User madduck
232 Host samosa.debian.org | samosa
233   Hostname samosa.debian.org
234   User madduck
235 Host caballero.debian.org | caballero
236   Hostname caballero.debian.org
237   User madduck
238 Host pergolesi.debian.org | pergolesi
239   Hostname pergolesi.debian.org
240   User madduck
241 Host spontini.debian.org | spontini
242   Hostname spontini.debian.org
243   User madduck
244 Host mayr.debian.org | mayr
245   Hostname mayr.debian.org
246   User madduck
247 Host mayer.debian.org | mayer
248   Hostname mayer.debian.org
249   User madduck
250 Host agnesi.debian.org | agnesi
251   Hostname agnesi.debian.org
252   User madduck
253 Host puccini.debian.org | puccini
254   Hostname puccini.debian.org
255   User madduck
256 Host villa.debian.org | villa
257   Hostname villa.debian.org
258   User madduck
259 Host piatti.debian.org | piatti
260   Hostname piatti.debian.org
261   User madduck
262 Host peri.debian.org | peri
263   Hostname peri.debian.org
264   User madduck
265 Host lobos.debian.org | lobos
266   Hostname lobos.debian.org
267   User madduck
268 Host verdi.debian.org | verdi
269   Hostname verdi.debian.org
270   User madduck
271 Host ries.debian.org | ries
272   Hostname ries.debian.org
273   User madduck
274 Host goetz.debian.org | goetz
275   Hostname goetz.debian.org
276   User madduck
277 Host rietz.debian.org | rietz
278   Hostname rietz.debian.org
279   User madduck
280 Host steffani.debian.org | steffani
281   Hostname steffani.debian.org
282   User madduck
283 Host lebrun.debian.org | lebrun
284   Hostname lebrun.debian.org
285   User madduck
286 Host liszt.debian.org | liszt
287   Hostname liszt.debian.org
288   User madduck
289 Host mundy.debian.org | mundy
290   Hostname mundy.debian.org
291   User madduck
292 Host albeniz.debian.org | albeniz
293   Hostname albeniz.debian.org
294   User madduck
295 Host sperger.debian.org | sperger
296   Hostname sperger.debian.org
297   User madduck
298 Host kassia.debian.org | kassia
299   Hostname kassia.debian.org
300   User madduck
301 Host agricola.debian.org | agricola
302   Hostname agricola.debian.org
303   User madduck
304 Host arcadelt.debian.org | arcadelt
305   Hostname arcadelt.debian.org
306   User madduck
307 Host penalosa.debian.org | penalosa
308   Hostname penalosa.debian.org
309   User madduck
310 Host argento.debian.org | argento
311   Hostname argento.debian.org
312   User madduck
313 Host allegri.debian.org | allegri
314   Hostname allegri.debian.org
315   User madduck
316 Host ravel.debian.org | ravel
317   Hostname ravel.debian.org
318   User madduck
319
320 Host sergei.ifi.uzh.ch | sergei
321   Hostname sergei.ifi.uzh.ch
322   User krafft
323 Host nikolai.ifi.uzh.ch | nikolai
324   Hostname nikolai.ifi.uzh.ch
325   User krafft
326
327 Host gratis2.opro.ch | opro
328   Hostname 193.242.105.2
329   User madduck
330
331 Host *
332 # AddressFamily any
333 # BatchMode no
334 # CheckHostIP yes
335   Cipher blowfish
336 # Ciphers aes128-cbc,3des-cbc,blowfish-cbc,cast128-cbc,arcfour128,arcfour256,arcfour,aes192-cbc,aes256-cbc,aes128-ctr,aes192-ctr,aes256-ctr
337 # ClearAllForwardings no
338 # Compression no
339 # CompressionLevel 6
340 # ConnectionAttempts 1
341   ConnectTimeout 10
342   ControlPath ~/.var/ssh/ssh_control_%l_%h_%p_%r
343   ControlMaster auto
344 ## DSAAuthentication no
345 # DynamicForward off
346 # EnableSSHKeysign no
347 # EscapeChar ~
348   ExitOnForwardFailure yes
349   ForwardAgent no
350   ForwardX11 no
351 # ForwardX11Trusted yes
352 # GatewayPorts no
353 # GlobalKnownHostsFile /etc/ssh/ssh_known_hosts
354   HashKnownHosts no
355 # HostbasedAuthentication no
356   HostKeyAlgorithms ssh-rsa
357 # IdentityFile ~/.ssh/identity
358   IdentityFile2 ~/.ssh/id_rsa
359 # KbdInteractiveDevices pam
360 # LocalCommand none
361 # LocalForward none
362 # LogLevel INFO
363   MACs hmac-sha1,umac-64@openssh.com,hmac-ripemd160,hmac-sha1-96,hmac-md5,hmac-md5-96
364 # NoHostAuthenticationForLocalhost no
365   NumberOfPasswordPrompts 2
366   PasswordAuthentication yes
367 # PermitLocalCommand no
368 # Port 22
369 # PreferredAuthentications gssapi-with-mic,hostbased,publickey,keyboard-interactive,password
370   Protocol 2
371 # ProxyCommand
372 # PubkeyAuthentication yes
373 # RekeyLimit 1G-4G #depends on cipher
374 # RemoteForward
375 # RhostsRSAAuthentication no
376 # RSAAuthentication no
377 # ServerAliveCountMax 3
378   ServerAliveInterval 45
379   SetupTimeOut 10
380 # SmartcardDevice off
381   StrictHostKeyChecking yes
382 # TCPKeepAlive yes
383 # Tunnel no
384 # TunnelDevice any:any
385 # UsePrivilegedPort no
386 # UserKnownHostsFile ~/.ssh/known_hosts
387 # VerifyHostKeyDNS no
388   VisualHostKey no
389 # XAuthLocation /usr/X11R6/bin/xauth