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 atom-via-sysyphus
[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 emily.madduck.net | emily
18   ForwardAgent yes
19   Hostname emily.madduck.net
20
21 Host matilda.madduck.net | matilda
22   ForwardAgent yes
23   Hostname matilda.madduck.net
24 Host irc-host.madduck.net | irc-host
25   User madduck
26   HostKeyAlias matilda.madduck.net
27   ConnectTimeout 60
28
29 Host vizier.madduck.net | vizier
30   ForwardAgent yes
31   Hostname vizier.madduck.net
32 Host admin.madduck.net | admin
33   Hostname admin.madduck.net
34   HostKeyAlias vizier.madduck.net
35   User git
36
37 Host ambassador.madduck.net | ambassador
38   ForwardAgent yes
39   Hostname ambassador.madduck.net
40
41 Host alan.madduck.net | alan
42   ForwardAgent yes
43   Hostname alan.madduck.net
44
45 Host swan.madduck.net | swan
46   ForwardAgent yes
47   Hostname swan.madduck.net
48
49 Host pulse.madduck.net | pulse
50   ForwardAgent yes
51   Hostname pulse.madduck.net
52
53 Host seamus.madduck.net | seamus
54   ForwardAgent yes
55   Hostname seamus.madduck.net
56
57 Host cymbaline.madduck.net | cymbaline
58   ForwardAgent yes
59   Hostname cymbaline.madduck.net
60
61 ### KHYBER KVM HOST
62
63 Host khyber.madduck.net | khyber
64   ForwardAgent yes
65   Hostname khyber.madduck.net
66 Host khyber-vnc
67   ControlMaster no
68   ControlPath none
69   Hostname khyber.madduck.net
70
71 Host bike.madduck.net | bike
72   ForwardAgent yes
73   Hostname bike.madduck.net
74
75 Host lotus.madduck.net | lotus
76   ForwardAgent yes
77   Hostname lotus.madduck.net
78 Host git.madduck.net | git
79   User git
80   HostKeyAlias lotus.madduck.net
81 Host git.debian.ch
82   User git
83   HostKeyAlias lotus.madduck.net
84 Host martin-krafft.net
85   User madduck
86   HostKeyAlias lotus.madduck.net
87 Host phd.martin-krafft.net
88   User madduck
89   HostKeyAlias lotus.madduck.net
90 Host madduck.net
91   User madduck
92   HostKeyAlias lotus.madduck.net
93
94 Host domine.madduck.net | domine
95   ForwardAgent yes
96   Hostname domine.madduck.net
97 Host imap.madduck.net
98   HostKeyAlias domine.madduck.net
99
100 Host sysyphus.madduck.net | sysyphus
101   ForwardAgent yes
102   Hostname sysyphus.madduck.net
103 Host ssh443.madduck.net | ssh443
104   HostKeyAlias sysyphus.madduck.net
105   ForwardAgent yes
106   Port 443
107 Host openvpn.madduck.net | openvpn
108   HostKeyAlias sysyphus.madduck.net
109
110 ### UNI ZURICH MACHINES
111
112 Host diamond.madduck.net | diamond
113   ForwardAgent yes
114   Hostname diamond.madduck.net
115 Host debian.madduck.net | debian
116   HostKeyAlias diamond.madduck.net
117 Host scratch.madduck.net | scratch
118   User madduck
119   HostKeyAlias diamond.madduck.net
120 Host tunes.madduck.net | tunes
121   AddressFamily inet
122   ControlMaster no
123   Hostname tunes.madduck.net
124   HostKeyAlias diamond.madduck.net
125   IPQoS lowdelay af13
126 Host flics.madduck.net | flics
127   AddressFamily inet
128   ControlMaster no
129   Hostname flics.madduck.net
130   HostKeyAlias diamond.madduck.net
131   IPQoS lowdelay af13
132
133 Host shelter.madduck.net | shelter
134   ForwardAgent yes
135   Hostname shelter.madduck.net
136 Host backup.madduck.net | backup
137   HostKeyAlias shelter.madduck.net
138
139 Host sergei.ifi.uzh.ch | sergei
140   Hostname sergei.ifi.uzh.ch
141   User krafft
142 Host nikolai.ifi.uzh.ch | nikolai
143   Hostname nikolai.ifi.uzh.ch
144   User krafft
145 Host franz.ifi.uzh.ch | franz
146   Hostname franz.ifi.uzh.ch
147   User krafft
148
149 ### PIPER / BYTEMARK
150
151 Host piper.madduck.net | piper
152   Hostname piper.madduck.net
153
154 ### CIRRUS / HETZNER
155
156 Host cirrus.madduck.net | cirrus
157   Hostname cirrus.madduck.net
158
159 ### ARNOLD / GPLHOST
160
161 Host arnold.madduck.net | arnold
162   Hostname arnold.madduck.net
163 Host arnold-host | arnold-host.madduck.net
164   Hostname arnold-host.madduck.net
165   User xen05
166
167 ### GERN
168
169 Host wall.gern.madduck.net | wall
170   CheckHostIP no
171   ForwardAgent yes
172   Hostname wall.gern.madduck.net
173
174 Host julia.gern.madduck.net | julia
175   Hostname julia.gern.madduck.net
176   ForwardAgent yes
177   ForwardX11 yes
178
179 Host julia-via-diamond
180   Hostname julia.gern.madduck.net
181   ProxyCommand ssh diamond.madduck.net nc -q0 %h %p
182
183 Host git.gern.madduck.net | git.gern
184   ForwardAgent yes
185   HostKeyAlias julia.gern.madduck.net
186 Host annex.gern.madduck.net | annex.gern
187   ForwardAgent yes
188   HostKeyAlias julia.gern.madduck.net
189 Host shared.gern.madduck.net | shared.gern
190   ForwardAgent yes
191   HostKeyAlias julia.gern.madduck.net
192
193 Host pict.gern.madduck.net | pict
194   Hostname pict.gern.madduck.net
195   ForwardAgent yes
196   ForwardX11 yes
197
198 Host jugband.gern.madduck.net | jugband.gern | jugband
199   Hostname jugband.gern.madduck.net
200   ForwardX11 yes
201   HostKeyAlias jugband.gern
202
203 Host visitor*.gern.madduck.net | visitor*.gern | visitor*
204   StrictHostKeyChecking no
205   UserKnownHostsFile /dev/null
206
207 ### LEHEL
208
209 Host clegg.lehel.madduck.net | clegg.lehel | clegg
210   CheckHostIP no
211   ForwardAgent yes
212   Hostname clegg.lehel.madduck.net
213
214 Host albatross.lehel.madduck.net | albatross.lehel | albatross
215   Hostname albatross.lehel.madduck.net
216   ForwardAgent yes
217   ForwardX11 yes
218   HostKeyAlias albatross.lehel
219 Host albatross-luks
220   Hostname albatross.lehel.madduck.net
221   StrictHostKeyChecking no
222   UserKnownHostsFile /dev/null
223   User root
224
225 Host albatross-via-diamond
226   Hostname albatross.lehel.madduck.net
227   ProxyCommand ssh diamond.madduck.net nc -q0 %h %p
228
229 ### GAUTING
230
231 Host embryo.gauting.madduck.net | embryo
232   CheckHostIP no
233   ForwardAgent yes
234   Hostname embryo.gauting.madduck.net
235   HostKeyAlias embryo.gauting.madduck.net
236
237 Host mother.gauting | mother | mother.gauting.madduck.net
238   Hostname mother.gauting
239   ForwardAgent yes
240   ForwardX11 yes
241 Host mothere
242   Hostname embryo.gauting.madduck.net
243   Port 22021
244   CheckHostIP no
245   ForwardAgent yes
246   ForwardX11 yes
247   HostKeyAlias mother.gauting.madduck.net
248
249 Host brick.gauting.madduck.net | brick
250   Hostname brick.gauting.madduck.net
251   ForwardAgent yes
252   ForwardX11 yes
253 Host bricke
254   Hostname embryo.gauting.madduck.net
255   Port 22222
256   CheckHostIP no
257   ForwardAgent yes
258   ForwardX11 yes
259   HostKeyAlias brick.gauting.madduck.net
260
261 ### MOUNT VICTORIA
262
263 Host atom.mtvic.madduck.net | atom.mtvic | atom
264   Hostname atom.mtvic.madduck.net
265   ForwardAgent yes
266
267 Host atom-via-sysyphus
268   HostKeyAlias atom.mtvic.madduck.net
269   ProxyCommand ssh sysyphus.madduck.net nc -q0 localhost 22015
270
271 Host bell.mtvic.madduck.net | bell.mtvic | bell | chip
272   Hostname bell.mtvic.madduck.net
273   ForwardAgent yes
274
275 ### ROAD WARRIORS
276
277 Host fishbowl.*
278   CheckHostIP no
279   ForwardAgent yes
280   ForwardX11 yes
281   HostKeyAlias fishbowl
282
283 Host fishbowl | fishbowl.rw.madduck.net
284   CheckHostIP no
285   ForwardAgent yes
286   ForwardX11 yes
287   HostKeyAlias fishbowl
288   ProxyCommand bash -c "TARGETS=$( (TRIES=%h.{gern,lehel,gauting,mtvic,rw}.madduck.net; eval fping -aAC1 -t500 $TRIES 2>&1 & eval fping6 -aAC1 -t500 $TRIES 2>&1; wait) | sed -rne 's, : ([[:digit:]]), @\1,p' | sort -t@ -k2n | sed -ne 's, .*,,p' | tr '\n' ','); echo Targets: \$TARGETS using \${TARGETS%%%%,*} … >&2; exec nc -vq0 \${TARGETS%%%%,*} %p"
289
290 ### LOCAL VIRT HOSTS
291
292 Host wafer.virt
293   RemoteForward 25000 localhost:25
294   ForwardX11 yes
295
296 Host red | green | blue | yellow | black | white | orange | violet | wafer
297   CanonicalDomains virt
298   CanonicalizeHostname yes
299   CanonicalizeFallbackLocal no
300   CanonicalizeMaxDots 0
301   VerifyHostKeyDNS no
302   CheckHostIP no
303   ForwardAgent yes
304   StrictHostKeyChecking no
305   UserKnownHostsFile /dev/null
306
307 ### DEBIAN
308
309 Host alioth.debian.org | anonscm.alioth.debian.org | svn.debian.org | git.debian.org | hg.debian.org | cvs.debian.org
310   HostKeyAlias moszumanska.debian.org
311
312 Host people.debian.org | people
313   Hostname people.debian.org
314   HostKeyAlias paradis.debian.org
315
316 Host master.debian.org | master
317   Hostname master.debian.org
318
319 Match host *.debian.org
320   StrictHostKeyChecking ask
321   VerifyHostKeyDNS ask
322   User madduck
323
324 ### DEBCONF
325
326 Host nelson.debconf.org | penta.debconf.org | nelson | summit | summit.debconf.org
327   Hostname nelson.debconf.org
328   ProxyCommand ssh sysyphus.madduck.net nc -q0 %h %p
329
330 Host itchy.debconf.org | itchy | wafer.debconf.org | wafer
331   Hostname itchy.debconf.org
332   ProxyCommand ssh sysyphus.madduck.net nc -q0 %h %p
333
334 Host kent.debconf.org | kent
335   Hostname kent.debconf.org
336   ProxyCommand ssh sysyphus.madduck.net nc -q0 %h %p
337
338 ### PENNY
339
340 Host lion.mjollnir.org | lion | fog.mjollnir.org | fog
341   Hostname lion.mjollnir.org
342
343 ### TILDE CLUB
344
345 Host remotes.club
346   Hostname remotes.club
347   Port 9022
348   User madduck
349
350 Host tilde.camp
351   Hostname tilde.camp
352   User madduck
353
354 Host squiggle.city
355   Hostname squiggle.city
356   User madduck
357
358 Host tilde.city
359   Hostname 001.tilde.city
360   User madduck
361
362 ### NZ
363
364 Host workbuffer.org | nz
365   Hostname workbuffer.org
366   User madduck
367
368 ### MISC
369
370 Host github.com | github
371   Hostname github.com
372   User git
373
374 Host gitlab.com | gitlab
375   Hostname gitlab.com
376   User gitlab
377
378 Host gitlab.debian.net | git.fosscommunity.in
379   Hostname gitlab.debian.net
380   User gitlab
381
382 Host grimble.mtfk.de | grimble | mtfk | mtfk.ddns.net
383   Hostname grimble.mtfk.de
384   Port 22022
385
386 ### DEFAULTS
387
388 Match host *.madduck.net
389   StrictHostKeyChecking ask
390   VerifyHostKeyDNS ask
391
392 Host *
393   IgnoreUnknown *
394   ConnectTimeout 10
395   ControlPath ~/.var/ssh/ssh_control_%l_%h_%p_%r
396   ControlMaster auto
397   ControlPersist 30
398   ExitOnForwardFailure yes
399   ForwardAgent no
400   #ForwardX11 no
401   #ForwardX11Trusted no
402   HashKnownHosts no
403   NumberOfPasswordPrompts 2
404   PasswordAuthentication yes
405   Protocol 2
406   ServerAliveInterval 45
407   StrictHostKeyChecking yes
408   #UpdateHostKeys no
409   VerifyHostKeyDNS ask
410   VisualHostKey no