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:

charade is live
[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 ### KHYBER KVM HOST
18
19 Host khyber.madduck.net | khyber
20   ForwardAgent yes
21   Hostname khyber.madduck.net
22 Host khyber-vnc
23   ControlMaster no
24   ControlPath none
25   Hostname khyber.madduck.net
26
27 Host vera.madduck.net | vera
28   ForwardAgent yes
29   Hostname vera.madduck.net
30
31 Host lotus.madduck.net | lotus
32   ForwardAgent yes
33   Hostname lotus.madduck.net
34 Host git.madduck.net | git
35   User git
36   HostKeyAlias lotus.madduck.net
37 Host git.debian.ch
38   User git
39   HostKeyAlias lotus.madduck.net
40 Host martin-krafft.net
41   User madduck
42   HostKeyAlias lotus.madduck.net
43 Host phd.martin-krafft.net
44   User madduck
45   HostKeyAlias lotus.madduck.net
46 Host madduck.net
47   User madduck
48   HostKeyAlias lotus.madduck.net
49
50 Host jugband.madduck.net | jugband
51   ForwardAgent yes
52   Hostname jugband.madduck.net
53
54 Host domine.madduck.net | domine
55   ForwardAgent yes
56   Hostname domine.madduck.net
57 Host irc
58   User madduck
59   Hostname domine.madduck.net
60   ConnectTimeout 60
61 Host imap.madduck.net
62   HostKeyAlias domine.madduck.net
63
64 Host aika.krafftwerk.de | aika
65   Hostname aika.krafftwerk.de
66
67 Host vizier.madduck.net | vizier
68   ForwardAgent yes
69   Hostname vizier.madduck.net
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.gern.madduck.net | albatross
161   Hostname albatross.gern.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.gern.madduck.net
171
172 Host galaxy-s2.phones.gern | galaxy-s2
173   Hostname galaxy-s2.phones.gern
174   User root
175
176 Host pict.gern.madduck.net | pict
177   Hostname pict.gern.madduck.net
178   ForwardAgent yes
179   ForwardX11 yes
180
181 Host visitor*.gern.madduck.net | visitor*.gern | visitor*
182   StrictHostKeyChecking no
183   UserKnownHostsFile /dev/null
184
185 ### LEHEL
186
187 Host clegg.lehel.madduck.net | clegg
188   CheckHostIP no
189   ForwardAgent yes
190   Hostname clegg.lehel.madduck.net
191
192 ### GAUTING
193
194 Host embryo.gauting.madduck.net | embryo
195   CheckHostIP no
196   ForwardAgent yes
197   Hostname embryo.gauting.madduck.net
198   HostKeyAlias embryo.gauting.madduck.net
199
200 Host mother.gauting | mother | mother.gauting.madduck.net
201   Hostname mother.gauting
202   ForwardAgent yes
203   ForwardX11 yes
204 Host mothere
205   Hostname embryo.gauting.madduck.net
206   Port 22221
207   CheckHostIP no
208   ForwardAgent yes
209   ForwardX11 yes
210   HostKeyAlias mother.gauting.madduck.net
211
212 Host brick.gauting.madduck.net | brick
213   Hostname brick.gauting.madduck.net
214   ForwardAgent yes
215   ForwardX11 yes
216 Host bricke
217   Hostname embryo.gauting.madduck.net
218   Port 22222
219   CheckHostIP no
220   ForwardAgent yes
221   ForwardX11 yes
222   HostKeyAlias brick.gauting.madduck.net
223
224 ### ROAD WARRIORS
225
226 Host lapse.rw.madduck.net | lapse.gern.madduck.net | lapse
227   CheckHostIP no
228   ForwardAgent yes
229   ForwardX11 yes
230
231 Host fishbowl.rw.madduck.net | fishbowl.gern.madduck.net | fishbowl
232   CheckHostIP no
233   ForwardAgent yes
234   ForwardX11 yes
235
236 ### DEBIAN
237
238 Host svn.debian.org
239   HostKeyAlias vasks.debian.org
240   User madduck
241 Host git.debian.org
242   HostKeyAlias vasks.debian.org
243   User madduck
244 Host hg.debian.org
245   HostKeyAlias vasks.debian.org
246   User madduck
247 Host cvs.debian.org
248   HostKeyAlias vasks.debian.org
249   User madduck
250
251 Host people.debian.org
252   HostKeyAlias ravel.debian.org
253   User madduck
254
255 Host abel.debian.org | abel
256   Hostname abel.debian.org
257   User madduck
258 Host agricola.debian.org | agricola
259   Hostname agricola.debian.org
260   User madduck
261 Host albeniz.debian.org | albeniz
262   Hostname albeniz.debian.org
263   User madduck
264 Host asdfasdf.debian.net | asdfasdf
265   Hostname asdfasdf.debian.net
266   User madduck
267 Host busoni.debian.org | busoni
268   Hostname busoni.debian.org
269   User madduck
270 Host cilea.debian.org | cilea
271   Hostname cilea.debian.org
272   User madduck
273 Host duarte.debian.org | duarte
274   Hostname duarte.debian.org
275   User madduck
276 Host dukas.debian.org | dukas
277   Hostname dukas.debian.org
278   User madduck
279 Host glinka.debian.org | glinka
280   Hostname glinka.debian.org
281   User madduck
282 Host grieg.debian.org | grieg
283   Hostname grieg.debian.org
284   User madduck
285 Host io.debian.net | io
286   Hostname io.debian.net
287   User madduck
288 Host lindberg.debian.org | lindberg
289   Hostname lindberg.debian.org
290   User madduck
291 Host master.debian.org | master
292   Hostname master.debian.org
293   User madduck
294 Host merulo.debian.org | merulo
295   Hostname merulo.debian.org
296   User madduck
297 Host nono.debian.org | nono
298   Hostname nono.debian.org
299   User madduck
300 Host paer.debian.org | paer
301   Hostname paer.debian.org
302   User madduck
303 Host paganini.debian.org | paganini
304   Hostname paganini.debian.org
305   User madduck
306 Host pergolesi.debian.org | pergolesi
307   Hostname pergolesi.debian.org
308   User madduck
309 Host pescetti.debian.org | pescetti
310   Hostname pescetti.debian.org
311   User madduck
312 Host piatti.debian.org | piatti
313   Hostname piatti.debian.org
314   User madduck
315 Host powell.debian.org | powell
316   Hostname powell.debian.org
317   User madduck
318 Host quantz.debian.org | quantz
319   Hostname quantz.debian.org
320   User madduck
321 Host ravel.debian.org | ravel
322   Hostname ravel.debian.org
323   User madduck
324 Host respighi.debian.org | respighi
325   Hostname respighi.debian.org
326   User madduck
327 Host ries.debian.org | ries
328   Hostname ries.debian.org
329   User madduck
330 Host rore.debian.org | rore
331   Hostname rore.debian.org
332   User madduck
333 Host samosa.debian.org | samosa
334   Hostname samosa.debian.org
335   User madduck
336 Host senfl.debian.org | senfl
337   Hostname senfl.debian.org
338   User madduck
339 Host sh4.g15.jp | sh4
340   Hostname sh4.g15.jp
341   User madduck
342 Host smetana.debian.org | smetana
343   Hostname smetana.debian.org
344   User madduck
345 Host sperger.debian.org | sperger
346   Hostname sperger.debian.org
347   User madduck
348 Host stabile.debian.org | stabile
349   Hostname stabile.debian.org
350   User madduck
351 Host strauss.debian.net | strauss
352   Hostname strauss.debian.net
353   User madduck
354 Host sumotsu.debian.net | sumotsu
355   Hostname sumotsu.debian.net
356   User madduck
357 Host tye.debian.org | tye
358   Hostname tye.debian.org
359   User madduck
360 Host vasks.debian.org | vasks
361   Hostname vasks.debian.org
362   User madduck
363 Host vivaldi.debian.org | vivaldi
364   Hostname vivaldi.debian.org
365   User madduck
366 Host wagner.debian.org | wagner
367   Hostname wagner.debian.org
368   User madduck
369 Host widor.debian.org | widor
370   Hostname widor.debian.org
371   User madduck
372 Host zelenka.debian.org | zelenka
373   Hostname zelenka.debian.org
374   User madduck
375
376 ### DEFAULTS
377
378 Host *
379 # AddressFamily any
380 # BatchMode no
381 # CheckHostIP yes
382   Cipher blowfish
383 # Ciphers aes128-cbc,3des-cbc,blowfish-cbc,cast128-cbc,arcfour128,arcfour256,arcfour,aes192-cbc,aes256-cbc,aes128-ctr,aes192-ctr,aes256-ctr
384 # ClearAllForwardings no
385 # Compression no
386 # CompressionLevel 6
387 # ConnectionAttempts 1
388   ConnectTimeout 10
389   ControlPath ~/.var/ssh/ssh_control_%l_%h_%p_%r
390   ControlMaster auto
391   ControlPersist 5
392 ## DSAAuthentication no
393 # DynamicForward off
394 # EnableSSHKeysign no
395 # EscapeChar ~
396   ExitOnForwardFailure yes
397   ForwardAgent no
398   ForwardX11 no
399 # ForwardX11Trusted yes
400 # GatewayPorts no
401 # GlobalKnownHostsFile /etc/ssh/ssh_known_hosts
402   HashKnownHosts no
403 # HostbasedAuthentication no
404   HostKeyAlgorithms ssh-rsa
405 # IdentityFile ~/.ssh/identity
406   IdentityFile2 ~/.ssh/id_rsa
407   IPQoS lowdelay throughput
408 # KbdInteractiveDevices pam
409 # LocalCommand none
410 # LocalForward none
411 # LogLevel INFO
412   MACs hmac-sha1,umac-64@openssh.com,hmac-ripemd160,hmac-sha1-96,hmac-md5,hmac-md5-96
413 # NoHostAuthenticationForLocalhost no
414   NumberOfPasswordPrompts 2
415   PasswordAuthentication yes
416 # PermitLocalCommand no
417 # Port 22
418 # PreferredAuthentications gssapi-with-mic,hostbased,publickey,keyboard-interactive,password
419   Protocol 2
420 # ProxyCommand
421 # PubkeyAuthentication yes
422 # RekeyLimit 1G-4G #depends on cipher
423 # RemoteForward
424 # RhostsRSAAuthentication no
425 # RSAAuthentication no
426 # ServerAliveCountMax 3
427   ServerAliveInterval 45
428   SetupTimeOut 10
429 # SmartcardDevice off
430   StrictHostKeyChecking yes
431 # TCPKeepAlive yes
432 # Tunnel no
433 # TunnelDevice any:any
434 # UsePrivilegedPort no
435 # UserKnownHostsFile ~/.ssh/known_hosts
436 # VerifyHostKeyDNS no
437   VisualHostKey no
438 # XAuthLocation /usr/X11R6/bin/xauth