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 albatross to lehel
[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.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   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 ### NZ
377
378 Host workbuffer.org | nz
379   Hostname workbuffer.org
380   User madduck
381
382 ### MISC
383
384 Host github.com | github
385   Hostname github.com
386   User git
387
388 ### DEFAULTS
389
390 Host *
391 # AddressFamily any
392 # BatchMode no
393 # CheckHostIP yes
394   Cipher blowfish
395 # Ciphers aes128-cbc,3des-cbc,blowfish-cbc,cast128-cbc,arcfour128,arcfour256,arcfour,aes192-cbc,aes256-cbc,aes128-ctr,aes192-ctr,aes256-ctr
396 # ClearAllForwardings no
397 # Compression no
398 # CompressionLevel 6
399 # ConnectionAttempts 1
400   ConnectTimeout 10
401   ControlPath ~/.var/ssh/ssh_control_%l_%h_%p_%r
402   ControlMaster auto
403   ControlPersist 5
404 ## DSAAuthentication no
405 # DynamicForward off
406 # EnableSSHKeysign no
407 # EscapeChar ~
408   ExitOnForwardFailure yes
409   ForwardAgent no
410   ForwardX11 no
411 # ForwardX11Trusted yes
412 # GatewayPorts no
413 # GlobalKnownHostsFile /etc/ssh/ssh_known_hosts
414   HashKnownHosts no
415 # HostbasedAuthentication no
416   HostKeyAlgorithms ssh-rsa
417 # IdentityFile ~/.ssh/identity
418   IdentityFile2 ~/.ssh/id_rsa
419   IPQoS lowdelay throughput
420 # KbdInteractiveDevices pam
421 # LocalCommand none
422 # LocalForward none
423 # LogLevel INFO
424   MACs hmac-sha1,umac-64@openssh.com,hmac-ripemd160,hmac-sha1-96,hmac-md5,hmac-md5-96
425 # NoHostAuthenticationForLocalhost no
426   NumberOfPasswordPrompts 2
427   PasswordAuthentication yes
428 # PermitLocalCommand no
429 # Port 22
430 # PreferredAuthentications gssapi-with-mic,hostbased,publickey,keyboard-interactive,password
431   Protocol 2
432 # ProxyCommand
433 # PubkeyAuthentication yes
434 # RekeyLimit 1G-4G #depends on cipher
435 # RemoteForward
436 # RhostsRSAAuthentication no
437 # RSAAuthentication no
438 # ServerAliveCountMax 3
439   ServerAliveInterval 45
440   SetupTimeOut 10
441 # SmartcardDevice off
442   StrictHostKeyChecking yes
443 # TCPKeepAlive yes
444 # Tunnel no
445 # TunnelDevice any:any
446 # UsePrivilegedPort no
447 # UserKnownHostsFile ~/.ssh/known_hosts
448 # VerifyHostKeyDNS no
449   VisualHostKey no
450 # XAuthLocation /usr/X11R6/bin/xauth