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:

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