keys/tripe-keys.in: Follow redirects when fetching updates.

This supports servers which want to try to use HTTPS.  Of course, the
better answer is just to use `https://...' URIs.

diff --git a/keys/tripe-keys.in b/keys/tripe-keys.in
index cfa740bd887ed58b9a998d147194cf1c9e479661..d95a31d26f4101e5254bf9731a9d8fab2a33ee24 100644 (file)
--- a/keys/tripe-keys.in
+++ b/keys/tripe-keys.in
@@ -483,8 +483,8 @@ def cmd_update(args):
     OS.mkdir('tmp')
     OS.chdir('tmp')
     seq = int(conf['master-sequence'])
     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
     run('tar xfz tripe-keys.tar.gz')
 
     ## Verify the signature