chiark / gitweb /
tripe-keys: Use curl instead of wget.
authorMark Wooding <mdw@distorted.org.uk>
Sun, 19 Feb 2006 14:33:17 +0000 (14:33 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Sun, 19 Feb 2006 14:33:17 +0000 (14:33 +0000)
commit162fcf483eb208ab5f0c350c0b890911ac25aa00
tree49d8cd9445d34d36447f3f615fa4ed6c1ce06e21
parent7cd79da096ced70c89af673bc0c87990eaa68528
tripe-keys: Use curl instead of wget.

It's generally much better, and in particular, it can cope with file:
URLs, which wget chokes on, which is a nuisance for testing.
tripe-keys.in