chiark / gitweb /
keys/tripe-keys.in: Follow redirects when fetching updates.
authorMark Wooding <mdw@distorted.org.uk>
Mon, 22 May 2017 08:26:33 +0000 (09:26 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 22 May 2017 08:26:33 +0000 (09:26 +0100)
This supports servers which want to try to use HTTPS.  Of course, the
better answer is just to use `https://...' URIs.

keys/tripe-keys.in

index cfa740b..d95a31d 100644 (file)
@@ -483,8 +483,8 @@ def cmd_update(args):
     OS.mkdir('tmp')
     OS.chdir('tmp')
     seq = int(conf['master-sequence'])
-    run('curl -s -o tripe-keys.tar.gz ${repos-url}')
-    run('curl -s -o tripe-keys.sig %s' % seqsubst('sig-url', seq))
+    run('curl -sL -o tripe-keys.tar.gz ${repos-url}')
+    run('curl -sL -o tripe-keys.sig %s' % seqsubst('sig-url', seq))
     run('tar xfz tripe-keys.tar.gz')
 
     ## Verify the signature