mirror of
https://github.com/commercialhaskell/stackage.git
synced 2026-01-22 12:11:56 +01:00
Add a script to convert to the new Stackage format
This commit is contained in:
parent
abb5fef364
commit
d33f12a59d
32
automated/new-stackage-format/convert.sh
Executable file
32
automated/new-stackage-format/convert.sh
Executable file
@ -0,0 +1,32 @@
|
|||||||
|
#!/usr/bin/env bash
|
||||||
|
|
||||||
|
set -eux
|
||||||
|
|
||||||
|
if [[ ! -f convert ]]
|
||||||
|
then
|
||||||
|
curl https://s3.amazonaws.com/michael.snoyman.com/convert-old-stackage-22f85f4829da949df601f2facf2d9b8c794232cf.bz2 > convert.bz2
|
||||||
|
chmod +x convert.bz2
|
||||||
|
bunzip2 convert.bz2
|
||||||
|
fi
|
||||||
|
|
||||||
|
cd $(dirname ${BASH_SOURCE[0]})
|
||||||
|
|
||||||
|
for d in lts-haskell stackage-nightly stackage-snapshots
|
||||||
|
do
|
||||||
|
if [[ ! -d "$d" ]]
|
||||||
|
then
|
||||||
|
git clone https://github.com/commercialhaskell/$d
|
||||||
|
else
|
||||||
|
(cd "$d" && git pull || echo "Git pull failed, ignoring")
|
||||||
|
fi
|
||||||
|
done
|
||||||
|
|
||||||
|
./convert
|
||||||
|
|
||||||
|
cd stackage-snapshots
|
||||||
|
git add lts nightly
|
||||||
|
git diff-index --quiet HEAD && echo No changes && exit 0
|
||||||
|
git config user.name "Stackage build server"
|
||||||
|
git config user.email "michael@snoyman.com"
|
||||||
|
git commit -m "More conversions $(date)"
|
||||||
|
GIT_SSH_COMMAND='ssh -i ../../ssh-lts/id_rsa' git push git@github.com:commercialhaskell/stackage-snapshots master
|
||||||
@ -5,6 +5,9 @@ cd "$(dirname "${BASH_SOURCE[0]}")"
|
|||||||
while true; do
|
while true; do
|
||||||
./build.sh nightly-$(date -u +%F)
|
./build.sh nightly-$(date -u +%F)
|
||||||
date
|
date
|
||||||
|
|
||||||
|
./new-stackage-format/convert.sh
|
||||||
|
|
||||||
sleep 30m
|
sleep 30m
|
||||||
echo
|
echo
|
||||||
done
|
done
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user