Sort versions in json output

This commit is contained in:
flip1995
2020-02-13 17:29:40 +01:00
parent 96c2e62d57
commit 5e03d5bb06
2 changed files with 45 additions and 7 deletions

10
.github/deploy.sh vendored
View File

@@ -20,14 +20,10 @@ fi
# Generate version index that is shown as root index page
cp util/gh-pages/versions.html out/index.html
cd out
cat <<-EOF | python - > versions.json
import os, json
print json.dumps([
dir for dir in os.listdir(".") if not dir.startswith(".") and os.path.isdir(dir)
])
EOF
echo "Making the versions.json file"
python ./util/versions.py out
cd out
# Now let's go have some fun with the cloned repo
git config user.name "GHA CI"
git config user.email "gha@ci.invalid"