From c70b80910c101775aa5318ccea4b4e993a6b4b5e Mon Sep 17 00:00:00 2001 From: "R. Patrick. Huang" Date: Sun, 10 Dec 2017 02:44:10 +0800 Subject: [PATCH] Update hackage.sh:Hackage uses 01-index.tar.gz now (#18) * Update hackage.sh:Hackage uses 01-index.tar.gz close #17 --- hackage.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/hackage.sh b/hackage.sh index 3b37614..fddcfab 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,8 @@ function hackage_mirror() { rm "package/$name" done - cp index.tar.gz 00-index.tar.gz + cp index.tar.gz 01-index.tar.gz + ln -sf 01-index.tar.gz 00-index.tar.gz } function cleanup () {