From 162fcf483eb208ab5f0c350c0b890911ac25aa00 Mon Sep 17 00:00:00 2001 Message-Id: <162fcf483eb208ab5f0c350c0b890911ac25aa00.1715100996.git.mdw@distorted.org.uk> From: Mark Wooding Date: Sun, 19 Feb 2006 14:33:17 +0000 Subject: [PATCH] tripe-keys: Use curl instead of wget. Organization: Straylight/Edgeware From: Mark Wooding 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 | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- [mdw]