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