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:

migrate hermia to oerlikon.madduck.net
[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 Host pulse.madduck.net | pulse
8   ForwardAgent yes
9   Hostname pulse.madduck.net
10   #AddressFamily inet
11 Host svn.madduck.net | svn
12   User madduck
13   HostKeyAlias pulse.madduck.net
14 Host git.madduck.net | git
15   User madduck
16   HostKeyAlias pulse.madduck.net
17   #AddressFamily inet
18 Host scratch.madduck.net | scratch
19   User madduck
20   HostKeyAlias pulse.madduck.net
21   #AddressFamily inet
22 Host debian.madduck.net | debian
23   User madduck
24   HostKeyAlias pulse.madduck.net
25   #AddressFamily inet
26 Host openvpn.madduck.net | openvpn
27   User madduck
28   HostKeyAlias pulse.madduck.net
29   #AddressFamily inet
30
31 Host martin-krafft.net
32   User madduck
33   HostKeyAlias seamus.madduck.net
34 Host phd.martin-krafft.net
35   User madduck
36   HostKeyAlias seamus.madduck.net
37 Host madduck.net
38   User madduck
39   HostKeyAlias seamus.madduck.net
40
41 Host tunes.madduck.net | tunes
42   Hostname bell.madduck.net
43   HostKeyAlias bell.madduck.net
44
45 Host lapse.rw.madduck.net | lapse.oerlikon.madduck.net | lapse
46   CheckHostIP no
47   ForwardAgent yes
48   ForwardX11 yes
49 #  AddressFamily inet
50
51 Host wall.oerlikon.madduck.net | oerlikon.no-ip.org | wall
52   CheckHostIP no
53   ForwardAgent yes
54 #  AddressFamily inet
55   HostKeyAlias wall.oerlikon.madduck.net
56
57 Host embryo.gauting.madduck.net | gauting.no-ip.org | embryo
58   CheckHostIP no
59   ForwardAgent yes
60   HostKeyAlias embryo.gauting.madduck.net
61
62 Host piper.oerlikon.madduck.net | piper
63   Hostname piper.oerlikon.madduck.net
64   ForwardAgent yes
65   ForwardX11 yes
66 #  AddressFamily inet
67 Host pipere
68   Hostname wall.madduck.net
69   Port 22223
70   CheckHostIP no
71   ForwardAgent yes
72   ForwardX11 yes
73   HostKeyAlias piper.oerlikon.madduck.net
74
75 Host diamond.oerlikon.madduck.net | diamond
76   Hostname diamond.oerlikon.madduck.net
77   ForwardAgent yes
78   ForwardX11 yes
79 #  AddressFamily inet
80 Host diamonde
81   Hostname wall.madduck.net
82   Port 22224
83   CheckHostIP no
84   ForwardAgent yes
85   ForwardX11 yes
86   HostKeyAlias diamond.oerlikon.madduck.net
87
88 Host pict.oerlikon.madduck.net | pict
89   Hostname pict.oerlikon.madduck.net
90   ForwardAgent yes
91   ForwardX11 yes
92 #  AddressFamily inet
93
94 Host lust.oerlikon.madduck.net | lust | hermia
95   Hostname lust.oerlikon.madduck.net
96   AddressFamily inet
97
98 Host mother.gauting.madduck.net | mother
99   Hostname mother.gauting.madduck.net
100   ForwardAgent yes
101   ForwardX11 yes
102 Host mothere
103   Hostname embryo.madduck.net
104   Port 22221
105   CheckHostIP no
106   ForwardAgent yes
107   ForwardX11 yes
108   HostKeyAlias mother.gauting.madduck.net
109
110 Host brick.gauting.madduck.net | brick
111   Hostname brick.gauting.madduck.net
112   ForwardAgent yes
113   ForwardX11 yes
114 Host bricke
115   Hostname embryo.madduck.net
116   Port 22222
117   CheckHostIP no
118   ForwardAgent yes
119   ForwardX11 yes
120   HostKeyAlias brick.gauting.madduck.net
121
122 Host debian-community.org | bikeshed.debian-community.org | bikeshed
123   Hostname bikeshed.debian-community.org
124   User madduck
125   ForwardAgent no
126   ForwardX11 no
127
128 Host alioth.debian.org | alioth
129   Hostname alioth.debian.org
130   User madduck
131 Host svn.debian.org
132   HostKeyAlias alioth.debian.org
133 Host git.debian.org
134   HostKeyAlias alioth.debian.org
135 Host hg.debian.org
136   HostKeyAlias alioth.debian.org
137
138 Host vore.debian.org | vore
139   Hostname vore.debian.org
140   User madduck
141 Host malo.debian.org | malo
142   Hostname malo.debian.org
143   User madduck
144 Host paer.debian.org | paer
145   Hostname paer.debian.org
146   User madduck
147 Host crest.debian.org | crest
148   Hostname crest.debian.org
149   User madduck
150 Host saens.debian.org | saens
151   Hostname saens.debian.org
152   User madduck
153 Host spohr.debian.org | spohr
154   Hostname spohr.debian.org
155   User madduck
156 Host auric.debian.org | auric
157   Hostname auric.debian.org
158   User madduck
159 Host gluck.debian.org | gluck
160   Hostname gluck.debian.org
161   User madduck
162 Host elara.debian.org | elara
163   Hostname elara.debian.org
164   User madduck
165 Host sarti.debian.org | sarti
166   Hostname sarti.debian.org
167   User madduck
168 Host europa.debian.org | europa
169   Hostname europa.debian.org
170   User madduck
171 Host goedel.debian.org | goedel
172   Hostname goedel.debian.org
173   User madduck
174 Host casals.debian.org | casals
175   Hostname casals.debian.org
176   User madduck
177 Host master.debian.org | master
178   Hostname master.debian.org
179   User madduck
180 Host bartok.debian.org | bartok
181   Hostname bartok.debian.org
182   User madduck
183 Host merulo.debian.org | merulo
184   Hostname merulo.debian.org
185   User madduck
186 Host merkel.debian.org | merkel
187   Hostname merkel.debian.org
188   User madduck
189 Host murphy.debian.org | murphy
190   Hostname murphy.debian.org
191   User madduck
192 Host escher.debian.org | escher
193   Hostname escher.debian.org
194   User madduck
195 Host raptor.debian.org | raptor
196   Hostname raptor.debian.org
197   User madduck
198 Host tartini.debian.org | tartini
199   Hostname tartini.debian.org
200   User madduck
201 Host raff.debian.org | raff
202   Hostname raff.debian.org
203   User madduck
204 Host klecker.debian.org | klecker
205   Hostname klecker.debian.org
206   User madduck
207 Host vaughan.debian.org | vaughan
208   Hostname vaughan.debian.org
209   User madduck
210 Host voltaire.debian.org | voltaire
211   Hostname voltaire.debian.org
212   User madduck
213 Host bruckner.debian.org | bruckner
214   Hostname bruckner.debian.org
215   User madduck
216 Host kullervo.debian.org | kullervo
217   Hostname kullervo.debian.org
218   User madduck
219 Host kullervo.debian.org | kullervo
220   Hostname kullervo.debian.org
221   User madduck
222 Host samosa.debian.org | samosa
223   Hostname samosa.debian.org
224   User madduck
225 Host caballero.debian.org | caballero
226   Hostname caballero.debian.org
227   User madduck
228 Host pergolesi.debian.org | pergolesi
229   Hostname pergolesi.debian.org
230   User madduck
231 Host spontini.debian.org | spontini
232   Hostname spontini.debian.org
233   User madduck
234 Host mayr.debian.org | mayr
235   Hostname mayr.debian.org
236   User madduck
237 Host mayer.debian.org | mayer
238   Hostname mayer.debian.org
239   User madduck
240 Host agnesi.debian.org | agnesi
241   Hostname agnesi.debian.org
242   User madduck
243 Host puccini.debian.org | puccini
244   Hostname puccini.debian.org
245   User madduck
246 Host villa.debian.org | villa
247   Hostname villa.debian.org
248   User madduck
249 Host piatti.debian.org | piatti
250   Hostname piatti.debian.org
251   User madduck
252 Host peri.debian.org | peri
253   Hostname peri.debian.org
254   User madduck
255 Host lobos.debian.org | lobos
256   Hostname lobos.debian.org
257   User madduck
258 Host verdi.debian.org | verdi
259   Hostname verdi.debian.org
260   User madduck
261 Host ries.debian.org | ries
262   Hostname ries.debian.org
263   User madduck
264 Host goetz.debian.org | goetz
265   Hostname goetz.debian.org
266   User madduck
267 Host rietz.debian.org | rietz
268   Hostname rietz.debian.org
269   User madduck
270 Host steffani.debian.org | steffani
271   Hostname steffani.debian.org
272   User madduck
273 Host lebrun.debian.org | lebrun
274   Hostname lebrun.debian.org
275   User madduck
276 Host liszt.debian.org | liszt
277   Hostname liszt.debian.org
278   User madduck
279 Host mundy.debian.org | mundy
280   Hostname mundy.debian.org
281   User madduck
282 Host albeniz.debian.org | albeniz
283   Hostname albeniz.debian.org
284   User madduck
285 Host sperger.debian.org | sperger
286   Hostname sperger.debian.org
287   User madduck
288 Host kassia.debian.org | kassia
289   Hostname kassia.debian.org
290   User madduck
291 Host agricola.debian.org | agricola
292   Hostname agricola.debian.org
293   User madduck
294 Host arcadelt.debian.org | arcadelt
295   Hostname arcadelt.debian.org
296   User madduck
297 Host penalosa.debian.org | penalosa
298   Hostname penalosa.debian.org
299   User madduck
300 Host argento.debian.org | argento
301   Hostname argento.debian.org
302   User madduck
303 Host allegri.debian.org | allegri
304   Hostname allegri.debian.org
305   User madduck
306
307 Host sergei.ifi.uzh.ch | sergei
308   Hostname sergei.ifi.uzh.ch
309   User krafft
310 Host nikolai.ifi.uzh.ch | nikolai
311   Hostname nikolai.ifi.uzh.ch
312   User krafft
313
314 Host *
315 # AddressFamily any
316 # BatchMode no
317 # CheckHostIP yes
318   Cipher blowfish
319 # Ciphers aes128-cbc,3des-cbc,blowfish-cbc,cast128-cbc,arcfour128,arcfour256,arcfour,aes192-cbc,aes256-cbc,aes128-ctr,aes192-ctr,aes256-ctr
320 # ClearAllForwardings no
321 # Compression no
322 # CompressionLevel 6
323 # ConnectionAttempts 1
324   ConnectTimeout 10
325   ControlPath ~/.var/ssh/ssh_control_%l_%h_%p_%r
326   ControlMaster auto
327 ## DSAAuthentication no
328 # DynamicForward off
329 # EnableSSHKeysign no
330 # EscapeChar ~
331   ExitOnForwardFailure yes
332   ForwardAgent no
333   ForwardX11 no
334 # ForwardX11Trusted yes
335 # GatewayPorts no
336 # GlobalKnownHostsFile /etc/ssh/ssh_known_hosts
337   HashKnownHosts no
338 # HostbasedAuthentication no
339   HostKeyAlgorithms ssh-rsa
340 # IdentityFile ~/.ssh/identity
341   IdentityFile2 ~/.ssh/id_rsa
342 # KbdInteractiveDevices pam
343 # LocalCommand none
344 # LocalForward none
345 # LogLevel INFO
346   MACs hmac-sha1,umac-64@openssh.com,hmac-ripemd160,hmac-sha1-96,hmac-md5,hmac-md5-96
347 # NoHostAuthenticationForLocalhost no
348   NumberOfPasswordPrompts 2
349   PasswordAuthentication yes
350 # PermitLocalCommand no
351 # Port 22
352 # PreferredAuthentications gssapi-with-mic,hostbased,publickey,keyboard-interactive,password
353   Protocol 2
354 # ProxyCommand
355 # PubkeyAuthentication yes
356 # RekeyLimit 1G-4G #depends on cipher
357 # RemoteForward
358 # RhostsRSAAuthentication no
359 # RSAAuthentication no
360 # ServerAliveCountMax 3
361   ServerAliveInterval 45
362   SetupTimeOut 10
363 # SmartcardDevice off
364   StrictHostKeyChecking yes
365 # TCPKeepAlive yes
366 # Tunnel no
367 # TunnelDevice any:any
368 # UsePrivilegedPort no
369 # UserKnownHostsFile ~/.ssh/known_hosts
370 # VerifyHostKeyDNS no
371 # XAuthLocation /usr/X11R6/bin/xauth