Update hackage.sh:Hackage uses 01-index.tar.gz now (#18)

* Update hackage.sh:Hackage uses 01-index.tar.gz close #17
This commit is contained in:
R. Patrick. Huang 2017-12-10 02:44:10 +08:00 committed by bigeagle
parent 954927ee79
commit c70b80910c

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,8 @@ 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
ln -sf 01-index.tar.gz 00-index.tar.gz
} }
function cleanup () { function cleanup () {