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:

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