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:

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