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

index a3e5b14..6da6eb4 100644 (file)
@@ -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