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 ssh443 jump host
[etc/ssh.git] / .ssh / config.in
1 Host 127.0.0.1 | localhost
2   ForwardX11 yes
3   ForwardX11Trusted yes
4   NoHostAuthenticationForLocalhost yes
5
6 ### CHARADE KVM HOST
7
8 Host charade.madduck.net | charade
9   Hostname charade.madduck.net
10 Host charade-vnc
11   ControlMaster no
12   ControlPath none
13   Hostname charade.madduck.net
14
15 Host emily.madduck.net | emily
16   Hostname emily.madduck.net
17
18 Host matilda.madduck.net | matilda
19   Hostname matilda.madduck.net
20 Host irc-host.madduck.net | irc-host
21   User madduck
22   HostKeyAlias matilda.madduck.net
23   Hostname matilda.madduck.net
24   ConnectTimeout 60
25 Host ssh443
26   User madduck
27   HostKeyAlias matilda.madduck.net
28   Hostname matilda.madduck.net
29   Port 443
30   ConnectTimeout 60
31   DynamicForward 9001
32
33 Host vizier.madduck.net | vizier
34   Hostname vizier.madduck.net
35 Host admin.madduck.net | admin
36   Hostname admin.madduck.net
37   HostKeyAlias vizier.madduck.net
38   User git
39
40 Host ambassador.madduck.net | ambassador
41   Hostname ambassador.madduck.net
42
43 Host alan.madduck.net | alan
44   Hostname alan.madduck.net
45 Host git.madduck.net | git
46   User git
47   HostKeyAlias alan.madduck.net
48
49 Host swan.madduck.net | swan
50   Hostname swan.madduck.net
51
52 Host pulse.madduck.net | pulse
53   Hostname pulse.madduck.net
54
55 Host vera.madduck.net | vera
56   Hostname vera.madduck.net
57
58 Host seamus.madduck.net | seamus
59   Hostname seamus.madduck.net
60
61 Host cymbaline.madduck.net | cymbaline
62   Hostname cymbaline.madduck.net
63
64 Host lunatic.madduck.net | lunatic
65   Hostname lunatic.madduck.net
66
67 ### UNI ZURICH MACHINES
68
69 Host gig.madduck.net | gig
70   Hostname gig.madduck.net
71
72 Host eugene.madduck.net | eugene
73   Hostname eugene.madduck.net
74 Host eugene-luks
75   Hostname eugene.madduck.net
76   User root
77
78 Host diamond.madduck.net | diamond
79   Hostname diamond.madduck.net
80 Host debian.madduck.net | debian
81   HostKeyAlias diamond.madduck.net
82 Host scratch.madduck.net | scratch
83   User madduck
84   HostKeyAlias diamond.madduck.net
85 Host tunes.madduck.net | tunes
86   AddressFamily inet
87   ControlMaster no
88   Hostname tunes.madduck.net
89   HostKeyAlias diamond.madduck.net
90   IPQoS lowdelay af13
91 Host flics.madduck.net | flics
92   AddressFamily inet
93   ControlMaster no
94   Hostname flics.madduck.net
95   HostKeyAlias diamond.madduck.net
96   IPQoS lowdelay af13
97
98 Host domine.madduck.net | domine
99   Hostname domine.madduck.net
100
101 Host shelter.madduck.net | shelter
102   Hostname shelter.madduck.net
103 Host backup.madduck.net | backup
104   HostKeyAlias shelter.madduck.net
105
106 ### PIPER / BYTEMARK
107
108 Host piper.madduck.net | piper
109   Hostname piper.madduck.net
110
111 ### CIRRUS / HETZNER
112
113 Host cirrus.madduck.net | cirrus
114   Hostname cirrus.madduck.net
115
116 ### LEHEL
117
118 Host clegg.lehel.madduck.net | clegg.lehel | clegg
119   CheckHostIP no
120   Hostname clegg.lehel.madduck.net
121
122 Host albatross.lehel.madduck.net | albatross.lehel | albatross
123   Hostname albatross.lehel.madduck.net
124   HostKeyAlias albatross.lehel
125 Host albatross-luks
126   Hostname albatross.lehel.madduck.net
127   StrictHostKeyChecking no
128   UserKnownHostsFile /dev/null
129   User root
130
131 Host albatross-via-clegg | ralbatross
132   Hostname albatross.lehel.madduck.net
133   ProxyJump clegg.dyndns.madduck.net
134   AddressFamily inet
135
136 Host bike.lehel.madduck.net | bike.lehel | bike
137   Hostname bike.lehel.madduck.net
138   HostKeyAlias bike.lehel
139
140 Host visitor*.lehel.madduck.net | visitor*.lehel
141   StrictHostKeyChecking no
142   UserKnownHostsFile /dev/null
143
144 ### GAUTING
145
146 Host embryo.gauting.madduck.net | embryo
147   CheckHostIP no
148   Hostname embryo.gauting.madduck.net
149   HostKeyAlias embryo.gauting.madduck.net
150
151 Host mother.gauting | mother | mother.gauting.madduck.net
152   Hostname mother.gauting
153 Host mother-via-embryo
154   Hostname mother.gauting
155   ProxyJump embryo.gauting.madduck.net
156   AddressFamily inet
157 Host mothere
158   Hostname embryo.gauting.madduck.net
159   Port 22021
160   CheckHostIP no
161   HostKeyAlias mother.gauting.madduck.net
162
163 Host visitor*.lehel.madduck.net | visitor*.lehel
164   StrictHostKeyChecking no
165   UserKnownHostsFile /dev/null
166
167 ### MTVIC
168
169 Host wall.mtvic.madduck.net | wall.mtvic | wall
170   Hostname wall.mtvic.madduck.net
171
172 Host wall-ipv4
173   Hostname wall.mtvic.madduck.net
174   AddressFamily inet
175
176 Host bell.mtvic.madduck.net | bell.mtvic | bell
177   Hostname bell.mtvic.madduck.net
178
179 Host julia.mtvic.madduck.net | julia.mtvic | julia
180   Hostname julia.mtvic.madduck.net
181
182 Host julia-via-wall | rjulia
183   Hostname julia.mtvic.madduck.net
184   ProxyJump wall-ipv4
185
186 Host jugband.mtvic.madduck.net | jugband.mtvic | jugband
187   Hostname jugband.mtvic.madduck.net
188
189 Host echo.mtvic.madduck.net | echo.mtvic | echo
190   Hostname echo.mtvic.madduck.net
191
192 Host visitor*.mtvic.madduck.net | visitor*.mtvic
193   StrictHostKeyChecking no
194   UserKnownHostsFile /dev/null
195
196 ### CATALYST
197
198 Host atom.catalyst.madduck.net | atom.catalyst | atom
199   Hostname atom.catalyst.madduck.net
200
201 ### ROAD WARRIORS
202
203 Host fishbowl.*
204   CheckHostIP no
205   HostKeyAlias fishbowl
206
207 Host fishbowl | fishbowl.rw.madduck.net
208   CheckHostIP no
209   HostKeyAlias fishbowl
210   ProxyCommand bash -c "TARGETS=$( (TRIES=%h.{mtvic,lehel,gauting,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"
211
212 Host ini | ini.dyndns.madduck.net
213   CheckHostIP no
214   HostKeyAlias ini.dyndns.madduck.net
215   HostName ini.dyndns.madduck.net
216   Port 13579
217   User christine
218
219 ### PHONES
220
221 Host sgs7e | sgs7e.phones.*
222   Port 2222
223   User shell
224   HostName sgs7e.phones
225
226 Host tethered-sgs7e
227   Port 2222
228   User shell
229   HostName 192.168.43.1
230   HostKeyAlias sgs7e.phones
231
232 ### LOCAL VIRT HOSTS
233
234 Host red | green | blue | yellow | black | white | orange | violet | wafer
235   CanonicalDomains virt
236   CanonicalizeHostname yes
237   CanonicalizeFallbackLocal no
238   CanonicalizeMaxDots 0
239   VerifyHostKeyDNS no
240   CheckHostIP no
241   StrictHostKeyChecking no
242   UserKnownHostsFile /dev/null
243
244 ### DEBIAN
245
246 Host alioth.debian.org | anonscm.alioth.debian.org | svn.debian.org | git.debian.org | hg.debian.org | cvs.debian.org
247   HostKeyAlias moszumanska.debian.org
248
249 Host people.debian.org | people
250   Hostname people.debian.org
251   HostKeyAlias paradis.debian.org
252
253 Host master.debian.org | master
254   Hostname master.debian.org
255
256 Match host *.debian.org
257   StrictHostKeyChecking ask
258   VerifyHostKeyDNS ask
259   User madduck
260
261 ### DEBCONF
262
263 Host nelson.debconf.org | penta.debconf.org | nelson | summit | summit.debconf.org
264   Hostname nelson.debconf.org
265   ProxyJump sysyphus.madduck.net
266
267 Host itchy.debconf.org | itchy | wafer.debconf.org | wafer
268   Hostname itchy.debconf.org
269   ProxyJump sysyphus.madduck.net
270
271 Host kent.debconf.org | kent
272   Hostname kent.debconf.org
273   ProxyJump sysyphus.madduck.net
274
275 ### TILDE CLUB
276
277 Host squiggle.city
278   Hostname squiggle.city
279   User madduck
280
281 ### NZ
282
283 Host workbuffer.org | nz
284   Hostname workbuffer.org
285   User madduck
286
287 ### MISC
288
289 Host github.com | github
290   Hostname github.com
291   User git
292
293 Host gitlab.com | gitlab
294   Hostname gitlab.com
295   User git
296
297 Host gitlab.debian.net | git.fosscommunity.in
298   Hostname gitlab.debian.net
299   User gitlab
300
301 Host grimble.mtfk.de | grimble | mtfk
302   CheckHostIP no
303   Hostname grimble.mtfk.de
304
305 Host lion.mjollnir.org | lion
306   Hostname lion.mjollnir.org
307   User madduck
308
309 ### DEFAULTS
310
311 Match host *.madduck.net
312   StrictHostKeyChecking ask
313   VerifyHostKeyDNS ask
314
315 Host *
316   IgnoreUnknown *
317   ConnectTimeout 10
318   ControlPath ~/.var/ssh/ssh_control_%l_%h_%p_%r
319   ControlMaster auto
320   ControlPersist 30
321   ExitOnForwardFailure yes
322   ForwardAgent no
323   #ForwardX11 no
324   #ForwardX11Trusted no
325   HashKnownHosts no
326   NumberOfPasswordPrompts 2
327   PasswordAuthentication yes
328   Protocol 2
329   ServerAliveInterval 45
330   StrictHostKeyChecking yes
331   #UpdateHostKeys no
332   VerifyHostKeyDNS ask
333   VisualHostKey no