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