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:

config 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 ### CHARADE KVM HOST
8
9 Host charade.madduck.net | charade
10   ForwardAgent yes
11   Hostname charade.madduck.net
12 Host charade-vnc
13   ControlMaster no
14   ControlPath none
15   Hostname charade.madduck.net
16
17 Host matilda.madduck.net | matilda
18   ForwardAgent yes
19   Hostname matilda.madduck.net
20
21 Host vizier.madduck.net | vizier
22   ForwardAgent yes
23   Hostname vizier.madduck.net
24
25 ### KHYBER KVM HOST
26
27 Host khyber.madduck.net | khyber
28   ForwardAgent yes
29   Hostname khyber.madduck.net
30 Host khyber-vnc
31   ControlMaster no
32   ControlPath none
33   Hostname khyber.madduck.net
34
35 Host lotus.madduck.net | lotus
36   ForwardAgent yes
37   Hostname lotus.madduck.net
38 Host git.madduck.net | git
39   User git
40   HostKeyAlias lotus.madduck.net
41 Host git.debian.ch
42   User git
43   HostKeyAlias lotus.madduck.net
44 Host martin-krafft.net
45   User madduck
46   HostKeyAlias lotus.madduck.net
47 Host phd.martin-krafft.net
48   User madduck
49   HostKeyAlias lotus.madduck.net
50 Host madduck.net
51   User madduck
52   HostKeyAlias lotus.madduck.net
53
54 Host jugband.madduck.net | jugband
55   ForwardAgent yes
56   Hostname jugband.madduck.net
57
58 Host domine.madduck.net | domine
59   ForwardAgent yes
60   Hostname domine.madduck.net
61 Host irc
62   User madduck
63   Hostname domine.madduck.net
64   ConnectTimeout 60
65 Host imap.madduck.net
66   HostKeyAlias domine.madduck.net
67
68 Host aika.krafftwerk.de | aika
69   Hostname aika.krafftwerk.de
70
71 Host sysyphus.madduck.net | sysyphus
72   ForwardAgent yes
73   Hostname sysyphus.madduck.net
74 Host ssh443.madduck.net | ssh443
75   HostKeyAlias sysyphus.madduck.net
76   ForwardAgent yes
77   Port 443
78 Host openvpn.madduck.net | openvpn
79   HostKeyAlias sysyphus.madduck.net
80
81 Host wots.madduck.net | wots
82   ForwardAgent yes
83   Hostname wots.madduck.net
84 Host buildd.debian.madduck.net | buildd
85   HostKeyAlias wots.madduck.net
86
87 ### UNI ZURICH MACHINES
88
89 Host diamond.madduck.net | diamond
90   ForwardAgent yes
91   Hostname diamond.madduck.net
92 Host debian.madduck.net | debian
93   HostKeyAlias diamond.madduck.net
94 Host scratch.madduck.net | scratch
95   User madduck
96   HostKeyAlias diamond.madduck.net
97 Host tunes.madduck.net | tunes
98   AddressFamily inet
99   ControlMaster no
100   Hostname tunes.madduck.net
101   HostKeyAlias diamond.madduck.net
102   IPQoS lowdelay af13
103 Host flics.madduck.net | flics
104   AddressFamily inet
105   ControlMaster no
106   Hostname flics.madduck.net
107   HostKeyAlias diamond.madduck.net
108   IPQoS lowdelay af13
109
110 Host shelter.madduck.net | shelter
111   ForwardAgent yes
112   Hostname shelter.madduck.net
113 Host backup.madduck.net | backup
114   HostKeyAlias shelter.madduck.net
115
116 Host sergei.ifi.uzh.ch | sergei
117   Hostname sergei.ifi.uzh.ch
118   User krafft
119 Host nikolai.ifi.uzh.ch | nikolai
120   Hostname nikolai.ifi.uzh.ch
121   User krafft
122 Host franz.ifi.uzh.ch | franz
123   Hostname franz.ifi.uzh.ch
124   User krafft
125
126 ### SWAN / BYTEMARK
127
128 Host swan-host | swan-host.madduck.net
129   Hostname swan-host.madduck.net
130   User krafft
131
132 Host swan.madduck.net | swan
133   ForwardAgent yes
134   Hostname swan.madduck.net
135
136 ### ARNOLD / GPLHOST
137
138 Host arnold-host | arnold-host.madduck.net
139   Hostname arnold-host.madduck.net
140   User xen05
141
142 ### GERN
143
144 Host wall.gern.madduck.net | wall
145   CheckHostIP no
146   ForwardAgent yes
147   Hostname wall.gern.madduck.net
148
149 Host julia.gern.madduck.net | julia
150   Hostname julia.gern.madduck.net
151   ForwardAgent yes
152 Host juliae
153   Hostname wall.gern.madduck.net
154   Port 22002
155   CheckHostIP no
156   ForwardAgent yes
157   ForwardX11 yes
158   HostKeyAlias julia.gern.madduck.net
159
160 Host albatross.lehel.madduck.net | albatross
161   Hostname albatross.lehel.madduck.net
162   ForwardAgent yes
163   ForwardX11 yes
164 Host albatrosse
165   Hostname wall.gern.madduck.net
166   Port 22032
167   CheckHostIP no
168   ForwardAgent yes
169   ForwardX11 yes
170   HostKeyAlias albatross.lehel.madduck.net
171
172 Host galaxy-s2.phones.gern | galaxy-s2
173   Hostname galaxy-s2.phones.gern
174   HostKeyAlias galaxy-s2.phones.gern
175   User root
176
177 Host pict.gern.madduck.net | pict
178   Hostname pict.gern.madduck.net
179   ForwardAgent yes
180   ForwardX11 yes
181
182 Host visitor*.gern.madduck.net | visitor*.gern | visitor*
183   StrictHostKeyChecking no
184   UserKnownHostsFile /dev/null
185
186 ### LEHEL
187
188 Host clegg.lehel.madduck.net | clegg
189   CheckHostIP no
190   ForwardAgent yes
191   Hostname clegg.lehel.madduck.net
192
193 ### GAUTING
194
195 Host embryo.gauting.madduck.net | embryo
196   CheckHostIP no
197   ForwardAgent yes
198   Hostname embryo.gauting.madduck.net
199   HostKeyAlias embryo.gauting.madduck.net
200
201 Host mother.gauting | mother | mother.gauting.madduck.net
202   Hostname mother.gauting
203   ForwardAgent yes
204   ForwardX11 yes
205 Host mothere
206   Hostname embryo.gauting.madduck.net
207   Port 22221
208   CheckHostIP no
209   ForwardAgent yes
210   ForwardX11 yes
211   HostKeyAlias mother.gauting.madduck.net
212
213 Host brick.gauting.madduck.net | brick
214   Hostname brick.gauting.madduck.net
215   ForwardAgent yes
216   ForwardX11 yes
217 Host bricke
218   Hostname embryo.gauting.madduck.net
219   Port 22222
220   CheckHostIP no
221   ForwardAgent yes
222   ForwardX11 yes
223   HostKeyAlias brick.gauting.madduck.net
224
225 ### ROAD WARRIORS
226
227 Host fishbowl.rw.madduck.net | fishbowl.gern.madduck.net | fishbowl
228   CheckHostIP no
229   ForwardAgent yes
230   ForwardX11 yes
231
232 ### DEBIAN
233
234 Host svn.debian.org
235   HostKeyAlias vasks.debian.org
236   User madduck
237 Host git.debian.org
238   HostKeyAlias vasks.debian.org
239   User madduck
240 Host hg.debian.org
241   HostKeyAlias vasks.debian.org
242   User madduck
243 Host cvs.debian.org
244   HostKeyAlias vasks.debian.org
245   User madduck
246
247 Host people.debian.org
248   HostKeyAlias ravel.debian.org
249   User madduck
250
251 Host abel.debian.org | abel
252   Hostname abel.debian.org
253   User madduck
254 Host agricola.debian.org | agricola
255   Hostname agricola.debian.org
256   User madduck
257 Host albeniz.debian.org | albeniz
258   Hostname albeniz.debian.org
259   User madduck
260 Host asdfasdf.debian.net | asdfasdf
261   Hostname asdfasdf.debian.net
262   User madduck
263 Host busoni.debian.org | busoni
264   Hostname busoni.debian.org
265   User madduck
266 Host cilea.debian.org | cilea
267   Hostname cilea.debian.org
268   User madduck
269 Host duarte.debian.org | duarte
270   Hostname duarte.debian.org
271   User madduck
272 Host dukas.debian.org | dukas
273   Hostname dukas.debian.org
274   User madduck
275 Host glinka.debian.org | glinka
276   Hostname glinka.debian.org
277   User madduck
278 Host grieg.debian.org | grieg
279   Hostname grieg.debian.org
280   User madduck
281 Host io.debian.net | io
282   Hostname io.debian.net
283   User madduck
284 Host lindberg.debian.org | lindberg
285   Hostname lindberg.debian.org
286   User madduck
287 Host master.debian.org | master
288   Hostname master.debian.org
289   User madduck
290 Host merulo.debian.org | merulo
291   Hostname merulo.debian.org
292   User madduck
293 Host nono.debian.org | nono
294   Hostname nono.debian.org
295   User madduck
296 Host paer.debian.org | paer
297   Hostname paer.debian.org
298   User madduck
299 Host paganini.debian.org | paganini
300   Hostname paganini.debian.org
301   User madduck
302 Host pergolesi.debian.org | pergolesi
303   Hostname pergolesi.debian.org
304   User madduck
305 Host pescetti.debian.org | pescetti
306   Hostname pescetti.debian.org
307   User madduck
308 Host piatti.debian.org | piatti
309   Hostname piatti.debian.org
310   User madduck
311 Host powell.debian.org | powell
312   Hostname powell.debian.org
313   User madduck
314 Host quantz.debian.org | quantz
315   Hostname quantz.debian.org
316   User madduck
317 Host ravel.debian.org | ravel
318   Hostname ravel.debian.org
319   User madduck
320 Host respighi.debian.org | respighi
321   Hostname respighi.debian.org
322   User madduck
323 Host ries.debian.org | ries
324   Hostname ries.debian.org
325   User madduck
326 Host rore.debian.org | rore
327   Hostname rore.debian.org
328   User madduck
329 Host samosa.debian.org | samosa
330   Hostname samosa.debian.org
331   User madduck
332 Host senfl.debian.org | senfl
333   Hostname senfl.debian.org
334   User madduck
335 Host sh4.g15.jp | sh4
336   Hostname sh4.g15.jp
337   User madduck
338 Host smetana.debian.org | smetana
339   Hostname smetana.debian.org
340   User madduck
341 Host sperger.debian.org | sperger
342   Hostname sperger.debian.org
343   User madduck
344 Host stabile.debian.org | stabile
345   Hostname stabile.debian.org
346   User madduck
347 Host strauss.debian.net | strauss
348   Hostname strauss.debian.net
349   User madduck
350 Host sumotsu.debian.net | sumotsu
351   Hostname sumotsu.debian.net
352   User madduck
353 Host tye.debian.org | tye
354   Hostname tye.debian.org
355   User madduck
356 Host vasks.debian.org | vasks
357   Hostname vasks.debian.org
358   User madduck
359 Host vivaldi.debian.org | vivaldi
360   Hostname vivaldi.debian.org
361   User madduck
362 Host wagner.debian.org | wagner
363   Hostname wagner.debian.org
364   User madduck
365 Host widor.debian.org | widor
366   Hostname widor.debian.org
367   User madduck
368 Host zelenka.debian.org | zelenka
369   Hostname zelenka.debian.org
370   User madduck
371
372 ### NZ
373
374 Host workbuffer.org | nz
375   Hostname workbuffer.org
376   User madduck
377
378 ### MISC
379
380 Host github.com | github
381   Hostname github.com
382   User git
383
384 ### DEFAULTS
385
386 Host *
387 # AddressFamily any
388 # BatchMode no
389 # CheckHostIP yes
390   Cipher blowfish
391 # Ciphers aes128-cbc,3des-cbc,blowfish-cbc,cast128-cbc,arcfour128,arcfour256,arcfour,aes192-cbc,aes256-cbc,aes128-ctr,aes192-ctr,aes256-ctr
392 # ClearAllForwardings no
393 # Compression no
394 # CompressionLevel 6
395 # ConnectionAttempts 1
396   ConnectTimeout 10
397   ControlPath ~/.var/ssh/ssh_control_%l_%h_%p_%r
398   ControlMaster auto
399   ControlPersist 5
400 ## DSAAuthentication no
401 # DynamicForward off
402 # EnableSSHKeysign no
403 # EscapeChar ~
404   ExitOnForwardFailure yes
405   ForwardAgent no
406   ForwardX11 no
407 # ForwardX11Trusted yes
408 # GatewayPorts no
409 # GlobalKnownHostsFile /etc/ssh/ssh_known_hosts
410   HashKnownHosts no
411 # HostbasedAuthentication no
412   HostKeyAlgorithms ssh-rsa
413 # IdentityFile ~/.ssh/identity
414   IdentityFile2 ~/.ssh/id_rsa
415   IPQoS lowdelay throughput
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