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:

move imap.madduck.net to domine
[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 domine.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   IPQoS lowdelay af13
107 Host flics.madduck.net | flics
108   AddressFamily inet
109   ControlMaster no
110   Hostname flics.madduck.net
111   HostKeyAlias diamond.madduck.net
112   IPQoS lowdelay af13
113
114 Host shelter.madduck.net | shelter
115   ForwardAgent yes
116   Hostname shelter.madduck.net
117
118 Host sheep.umverkehr.ch | sheep | webmail.madduck.net | webmail
119   Hostname sheep.umverkehr.ch
120   User madduck
121
122 Host lapse.rw.madduck.net | lapse.gern.madduck.net | lapse
123   CheckHostIP no
124   ForwardAgent yes
125   ForwardX11 yes
126
127 Host fishbowl.rw.madduck.net | fishbowl.gern.madduck.net | fishbowl
128   CheckHostIP no
129   ForwardAgent yes
130   ForwardX11 yes
131
132 Host wall.gern.madduck.net | wall
133   CheckHostIP no
134   ForwardAgent yes
135   Hostname wall.gern.madduck.net
136
137 Host julia.gern.madduck.net | julia
138   Hostname julia.gern.madduck.net
139   ForwardAgent yes
140 Host juliae
141   Hostname wall.gern.madduck.net
142   Port 22002
143   CheckHostIP no
144   ForwardAgent yes
145   ForwardX11 yes
146   HostKeyAlias julia.gern.madduck.net
147
148 Host galaxy-s2.phones.gern | galaxy-s2
149   Hostname galaxy-s2.phones.gern
150   User root
151
152 Host embryo.gauting.madduck.net | embryo
153   CheckHostIP no
154   ForwardAgent yes
155   Hostname embryo.gauting.madduck.net
156   HostKeyAlias embryo.gauting.madduck.net
157
158 Host piper.gern.madduck.net | piper
159   Hostname piper.gern.madduck.net
160   ForwardAgent yes
161   ForwardX11 yes
162
163 Host albatross.gern.madduck.net | albatross
164   Hostname albatross.gern.madduck.net
165   ForwardAgent yes
166   ForwardX11 yes
167 Host albatrosse
168   Hostname wall.gern.madduck.net
169   Port 22032
170   CheckHostIP no
171   ForwardAgent yes
172   ForwardX11 yes
173   HostKeyAlias albatross.gern.madduck.net
174
175 Host pict.gern.madduck.net | pict
176   Hostname pict.gern.madduck.net
177   ForwardAgent yes
178   ForwardX11 yes
179 #  AddressFamily inet
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   IPQoS lowdelay throughput
417 # KbdInteractiveDevices pam
418 # LocalCommand none
419 # LocalForward none
420 # LogLevel INFO
421   MACs hmac-sha1,umac-64@openssh.com,hmac-ripemd160,hmac-sha1-96,hmac-md5,hmac-md5-96
422 # NoHostAuthenticationForLocalhost no
423   NumberOfPasswordPrompts 2
424   PasswordAuthentication yes
425 # PermitLocalCommand no
426 # Port 22
427 # PreferredAuthentications gssapi-with-mic,hostbased,publickey,keyboard-interactive,password
428   Protocol 2
429 # ProxyCommand
430 # PubkeyAuthentication yes
431 # RekeyLimit 1G-4G #depends on cipher
432 # RemoteForward
433 # RhostsRSAAuthentication no
434 # RSAAuthentication no
435 # ServerAliveCountMax 3
436   ServerAliveInterval 45
437   SetupTimeOut 10
438 # SmartcardDevice off
439   StrictHostKeyChecking yes
440 # TCPKeepAlive yes
441 # Tunnel no
442 # TunnelDevice any:any
443 # UsePrivilegedPort no
444 # UserKnownHostsFile ~/.ssh/known_hosts
445 # VerifyHostKeyDNS no
446   VisualHostKey no
447 # XAuthLocation /usr/X11R6/bin/xauth