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:

cleanup
[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 debian.madduck.net | debian
15   User madduck
16   HostKeyAlias pulse.madduck.net
17   #AddressFamily inet
18 Host openvpn.madduck.net | openvpn
19   User madduck
20   HostKeyAlias pulse.madduck.net
21   #AddressFamily inet
22 Host backup.madduck.net | backup
23   HostKeyAlias pulse.madduck.net
24   #AddressFamily inet
25
26 Host khyber.madduck.net | khyber
27   ForwardAgent yes
28   Hostname khyber.madduck.net
29 Host khyber-vnc
30   ControlMaster no
31   ControlPath none
32   Hostname khyber.madduck.net
33
34 Host wots.madduck.net | wots
35   ForwardAgent yes
36   Hostname wots.madduck.net
37 Host buildd.debian.madduck.net | buildd
38   HostKeyAlias wots.madduck.net
39
40 Host lotus.madduck.net | lotus
41   ForwardAgent yes
42   Hostname lotus.madduck.net
43 Host git.madduck.net | git
44   User git
45   HostKeyAlias lotus.madduck.net
46 Host git.debian.ch
47   User git
48   HostKeyAlias lotus.madduck.net
49
50 Host sysyphus.madduck.net | sysyphus
51   ForwardAgent yes
52   Hostname sysyphus.madduck.net
53 Host ssh443.madduck.net | ssh443
54   User madduck
55   HostKeyAlias sysyphus.madduck.net
56   ForwardAgent yes
57   Port 443
58
59 Host jugband.madduck.net | jugband
60   ForwardAgent yes
61   Hostname jugband.madduck.net
62
63 Host vera.madduck.net | vera
64   ForwardAgent yes
65   Hostname vera.madduck.net
66
67 Host swan-host | swan-host.madduck.net
68   Hostname swan-host.madduck.net
69   User krafft
70
71 Host swan.madduck.net | swan
72   ForwardAgent yes
73   Hostname swan.madduck.net
74
75 Host domine.madduck.net | domine
76   ForwardAgent yes
77   Hostname domine.madduck.net
78
79 Host irc
80   Hostname vera.madduck.net
81   ConnectTimeout 60
82
83 Host martin-krafft.net
84   User madduck
85   HostKeyAlias seamus.madduck.net
86 Host phd.martin-krafft.net
87   User madduck
88   HostKeyAlias seamus.madduck.net
89 Host madduck.net
90   User madduck
91   HostKeyAlias seamus.madduck.net
92 Host imap.madduck.net
93   HostKeyAlias seamus.madduck.net
94
95 Host diamond.madduck.net | diamond
96   ForwardAgent yes
97   Hostname diamond.madduck.net
98 Host scratch.madduck.net | scratch
99   User madduck
100   HostKeyAlias diamond.madduck.net
101 Host tunes.madduck.net | tunes
102   AddressFamily inet
103   ControlMaster no
104   Hostname tunes.madduck.net
105   HostKeyAlias diamond.madduck.net
106 Host flics.madduck.net | flics
107   AddressFamily inet
108   ControlMaster no
109   Hostname flics.madduck.net
110   HostKeyAlias diamond.madduck.net
111
112 Host shelter.madduck.net | shelter
113   ForwardAgent yes
114   Hostname shelter.madduck.net
115
116 Host sheep.umverkehr.ch | sheep | webmail.madduck.net | webmail
117   Hostname sheep.umverkehr.ch
118   User madduck
119
120 Host lapse.rw.madduck.net | lapse.gern.madduck.net | lapse
121   CheckHostIP no
122   ForwardAgent yes
123   ForwardX11 yes
124
125 Host fishbowl.rw.madduck.net | fishbowl.gern.madduck.net | fishbowl
126   CheckHostIP no
127   ForwardAgent yes
128   ForwardX11 yes
129
130 Host wall.gern.madduck.net | wall
131   CheckHostIP no
132   ForwardAgent yes
133   Hostname wall.gern.madduck.net
134
135 Host julia.gern.madduck.net | julia
136   Hostname julia.gern.madduck.net
137   ForwardAgent yes
138 Host juliae
139   Hostname wall.gern.madduck.net
140   Port 22002
141   CheckHostIP no
142   ForwardAgent yes
143   ForwardX11 yes
144   HostKeyAlias julia.gern.madduck.net
145
146 Host embryo.gauting.madduck.net | embryo
147   CheckHostIP no
148   ForwardAgent yes
149   Hostname embryo.gauting.madduck.net
150   HostKeyAlias embryo.gauting.madduck.net
151
152 Host piper.gern.madduck.net | piper
153   Hostname piper.gern.madduck.net
154   ForwardAgent yes
155   ForwardX11 yes
156
157 Host albatross.gern.madduck.net | albatross
158   Hostname albatross.gern.madduck.net
159   ForwardAgent yes
160   ForwardX11 yes
161 Host albatrosse
162   Hostname wall.gern.madduck.net
163   Port 22032
164   CheckHostIP no
165   ForwardAgent yes
166   ForwardX11 yes
167   HostKeyAlias albatross.gern.madduck.net
168
169 Host pict.gern.madduck.net | pict
170   Hostname pict.gern.madduck.net
171   ForwardAgent yes
172   ForwardX11 yes
173 #  AddressFamily inet
174
175 Host nokia-n900.gern.madduck.net | nokia-n900 | n900
176   CheckHostIP no
177   ForwardAgent yes
178   ForwardX11 yes
179   User user
180
181 Host auge-fr.no-ip.org | auge
182   CheckHostIP no
183   Hostname auge-fr.no-ip.org
184   HostKeyAlias helena.home.mjollnir.org
185
186 Host mother.gauting | mother | mother.gauting.madduck.net
187   Hostname mother.gauting
188   ForwardAgent yes
189   ForwardX11 yes
190 Host mothere
191   Hostname embryo.gauting.madduck.net
192   Port 22221
193   CheckHostIP no
194   ForwardAgent yes
195   ForwardX11 yes
196   HostKeyAlias mother.gauting.madduck.net
197
198 Host brick.gauting.madduck.net | brick
199   Hostname brick.gauting.madduck.net
200   ForwardAgent yes
201   ForwardX11 yes
202 Host bricke
203   Hostname embryo.gauting.madduck.net
204   Port 22222
205   CheckHostIP no
206   ForwardAgent yes
207   ForwardX11 yes
208   HostKeyAlias brick.gauting.madduck.net
209
210 Host zlinli.no-ip.org | zlinli
211   CheckHostIP no
212   Hostname zlinli.no-ip.org
213
214 Host debian-community.org | bikeshed.debian-community.org | bikeshed
215   Hostname bikeshed.debian-community.org
216   User madduck
217   ForwardAgent no
218   ForwardX11 no
219
220 Host alioth.debian.org | alioth
221   hostKeyAlias wagner.debian.org
222   User madduck
223
224 Host svn.debian.org
225   HostKeyAlias vasks.debian.org
226   User madduck
227 Host git.debian.org
228   HostKeyAlias vasks.debian.org
229   User madduck
230 Host hg.debian.org
231   HostKeyAlias vasks.debian.org
232   User madduck
233 Host cvs.debian.org
234   HostKeyAlias vasks.debian.org
235   User madduck
236
237 Host abel.debian.org | abel
238   Hostname abel.debian.org
239   User madduck
240 Host agricola.debian.org | agricola
241   Hostname agricola.debian.org
242   User madduck
243 Host albeniz.debian.org | albeniz
244   Hostname albeniz.debian.org
245   User madduck
246 Host asdfasdf.debian.net | asdfasdf
247   Hostname asdfasdf.debian.net
248   User madduck
249 Host busoni.debian.org | busoni
250   Hostname busoni.debian.org
251   User madduck
252 Host cilea.debian.org | cilea
253   Hostname cilea.debian.org
254   User madduck
255 Host duarte.debian.org | duarte
256   Hostname duarte.debian.org
257   User madduck
258 Host dukas.debian.org | dukas
259   Hostname dukas.debian.org
260   User madduck
261 Host glinka.debian.org | glinka
262   Hostname glinka.debian.org
263   User madduck
264 Host grieg.debian.org | grieg
265   Hostname grieg.debian.org
266   User madduck
267 Host io.debian.net | io
268   Hostname io.debian.net
269   User madduck
270 Host lindberg.debian.org | lindberg
271   Hostname lindberg.debian.org
272   User madduck
273 Host master.debian.org | master
274   Hostname master.debian.org
275   User madduck
276 Host merulo.debian.org | merulo
277   Hostname merulo.debian.org
278   User madduck
279 Host nono.debian.org | nono
280   Hostname nono.debian.org
281   User madduck
282 Host paer.debian.org | paer
283   Hostname paer.debian.org
284   User madduck
285 Host paganini.debian.org | paganini
286   Hostname paganini.debian.org
287   User madduck
288 Host pergolesi.debian.org | pergolesi
289   Hostname pergolesi.debian.org
290   User madduck
291 Host pescetti.debian.org | pescetti
292   Hostname pescetti.debian.org
293   User madduck
294 Host piatti.debian.org | piatti
295   Hostname piatti.debian.org
296   User madduck
297 Host powell.debian.org | powell
298   Hostname powell.debian.org
299   User madduck
300 Host quantz.debian.org | quantz
301   Hostname quantz.debian.org
302   User madduck
303 Host ravel.debian.org | ravel
304   Hostname ravel.debian.org
305   User madduck
306 Host respighi.debian.org | respighi
307   Hostname respighi.debian.org
308   User madduck
309 Host ries.debian.org | ries
310   Hostname ries.debian.org
311   User madduck
312 Host rore.debian.org | rore
313   Hostname rore.debian.org
314   User madduck
315 Host samosa.debian.org | samosa
316   Hostname samosa.debian.org
317   User madduck
318 Host senfl.debian.org | senfl
319   Hostname senfl.debian.org
320   User madduck
321 Host sh4.g15.jp | sh4
322   Hostname sh4.g15.jp
323   User madduck
324 Host smetana.debian.org | smetana
325   Hostname smetana.debian.org
326   User madduck
327 Host sperger.debian.org | sperger
328   Hostname sperger.debian.org
329   User madduck
330 Host stabile.debian.org | stabile
331   Hostname stabile.debian.org
332   User madduck
333 Host strauss.debian.net | strauss
334   Hostname strauss.debian.net
335   User madduck
336 Host sumotsu.debian.net | sumotsu
337   Hostname sumotsu.debian.net
338   User madduck
339 Host tye.debian.org | tye
340   Hostname tye.debian.org
341   User madduck
342 Host vasks.debian.org | vasks
343   Hostname vasks.debian.org
344   User madduck
345 Host vivaldi.debian.org | vivaldi
346   Hostname vivaldi.debian.org
347   User madduck
348 Host wagner.debian.org | wagner
349   Hostname wagner.debian.org
350   User madduck
351 Host widor.debian.org | widor
352   Hostname widor.debian.org
353   User madduck
354 Host zelenka.debian.org | zelenka
355   Hostname zelenka.debian.org
356   User madduck
357
358 Host people.debian.org
359   HostKeyAlias ravel.debian.org
360   User madduck
361
362 Host sergei.ifi.uzh.ch | sergei
363   Hostname sergei.ifi.uzh.ch
364   User krafft
365 Host nikolai.ifi.uzh.ch | nikolai
366   Hostname nikolai.ifi.uzh.ch
367   User krafft
368 Host franz.ifi.uzh.ch | franz
369   Hostname franz.ifi.uzh.ch
370   User krafft
371
372 Host clegg-host | clegg-host.madduck.net | gratis2.opro.ch | opro
373   Hostname clegg-host.madduck.net
374   User madduck
375
376 Host arnold-host | arnold-host.madduck.net
377   Hostname arnold-host.madduck.net
378   User xen05
379
380 Host skynet.skynet.ie | skynet.ie | skynet
381   Hostname skynet.skynet.ie
382   User madduck
383
384 Host aika.krafftwerk.de | aika
385   Hostname aika.krafftwerk.de
386
387 Host *
388 # AddressFamily any
389 # BatchMode no
390 # CheckHostIP yes
391   Cipher blowfish
392 # Ciphers aes128-cbc,3des-cbc,blowfish-cbc,cast128-cbc,arcfour128,arcfour256,arcfour,aes192-cbc,aes256-cbc,aes128-ctr,aes192-ctr,aes256-ctr
393 # ClearAllForwardings no
394 # Compression no
395 # CompressionLevel 6
396 # ConnectionAttempts 1
397   ConnectTimeout 10
398   ControlPath ~/.var/ssh/ssh_control_%l_%h_%p_%r
399   ControlMaster auto
400   ControlPersist 5
401 ## DSAAuthentication no
402 # DynamicForward off
403 # EnableSSHKeysign no
404 # EscapeChar ~
405   ExitOnForwardFailure yes
406   ForwardAgent no
407   ForwardX11 no
408 # ForwardX11Trusted yes
409 # GatewayPorts no
410 # GlobalKnownHostsFile /etc/ssh/ssh_known_hosts
411   HashKnownHosts no
412 # HostbasedAuthentication no
413   HostKeyAlgorithms ssh-rsa
414 # IdentityFile ~/.ssh/identity
415   IdentityFile2 ~/.ssh/id_rsa
416 # KbdInteractiveDevices pam
417 # LocalCommand none
418 # LocalForward none
419 # LogLevel INFO
420   MACs hmac-sha1,umac-64@openssh.com,hmac-ripemd160,hmac-sha1-96,hmac-md5,hmac-md5-96
421 # NoHostAuthenticationForLocalhost no
422   NumberOfPasswordPrompts 2
423   PasswordAuthentication yes
424 # PermitLocalCommand no
425 # Port 22
426 # PreferredAuthentications gssapi-with-mic,hostbased,publickey,keyboard-interactive,password
427   Protocol 2
428 # ProxyCommand
429 # PubkeyAuthentication yes
430 # RekeyLimit 1G-4G #depends on cipher
431 # RemoteForward
432 # RhostsRSAAuthentication no
433 # RSAAuthentication no
434 # ServerAliveCountMax 3
435   ServerAliveInterval 45
436   SetupTimeOut 10
437 # SmartcardDevice off
438   StrictHostKeyChecking yes
439 # TCPKeepAlive yes
440 # Tunnel no
441 # TunnelDevice any:any
442 # UsePrivilegedPort no
443 # UserKnownHostsFile ~/.ssh/known_hosts
444 # VerifyHostKeyDNS no
445   VisualHostKey no
446 # XAuthLocation /usr/X11R6/bin/xauth