From ac6fc385f0f7b926029618ade3f50621d3ee0193 Mon Sep 17 00:00:00 2001 From: "R. Patrick. Huang" Date: Sun, 10 Dec 2017 00:35:54 +0800 Subject: [PATCH] Update hackage.sh:Hackage uses 01-index.tar.gz now I'm not sure if this does all the job --- hackage.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/hackage.sh b/hackage.sh index 3b37614..862869b 100755 --- a/hackage.sh +++ b/hackage.sh @@ -49,7 +49,7 @@ function hackage_mirror() { echo "Downloading index..." rm index.tar.gz || true - wget "${base_url}/packages/index.tar.gz" -O index.tar.gz &> /dev/null + wget "${base_url}/01-index.tar.gz" -O index.tar.gz &> /dev/null echo "building local package list" local tmp @@ -97,7 +97,7 @@ function hackage_mirror() { rm "package/$name" done - cp index.tar.gz 00-index.tar.gz + cp index.tar.gz 01-index.tar.gz } function cleanup () {