Update hackage.sh:Hackage uses 01-index.tar.gz now

I'm not sure if this does all the job
This commit is contained in:
R. Patrick. Huang 2017-12-10 00:35:54 +08:00 committed by GitHub
parent 954927ee79
commit ac6fc385f0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -49,7 +49,7 @@ function hackage_mirror() {
echo "Downloading index..." echo "Downloading index..."
rm index.tar.gz || true 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" echo "building local package list"
local tmp local tmp
@ -97,7 +97,7 @@ function hackage_mirror() {
rm "package/$name" rm "package/$name"
done done
cp index.tar.gz 00-index.tar.gz cp index.tar.gz 01-index.tar.gz
} }
function cleanup () { function cleanup () {