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