From: Mark Wooding <mdw@distorted.org.uk>
Date: Sun, 19 Feb 2006 14:33:17 +0000 (+0000)
Subject: tripe-keys: Use curl instead of wget.
X-Git-Tag: 1.0.0pre8~108
X-Git-Url: https://git.distorted.org.uk/~mdw/tripe/commitdiff_plain/162fcf483eb208ab5f0c350c0b890911ac25aa00

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.
---

diff --git a/tripe-keys.in b/tripe-keys.in
index a3e5b141..6da6eb4a 100644
--- a/tripe-keys.in
+++ b/tripe-keys.in
@@ -290,8 +290,8 @@ def cmd_update(args):
     OS.mkdir('tmp')
     OS.chdir('tmp')
     seq = int(conf['master-sequence'])
-    run('wget -q -O tripe-keys.tar.gz ${repos-url}')
-    run('wget -q -O tripe-keys.sig %s' % seqsubst('sig-url', seq))
+    run('curl -s -o tripe-keys.tar.gz ${repos-url}')
+    run('curl -s -o tripe-keys.sig %s' % seqsubst('sig-url', seq))
     run('tar xfz tripe-keys.tar.gz')
 
     ## Verify the signature