More workflow changes.

This commit is contained in:
Mario Zechner 2023-05-28 11:34:56 +02:00
parent a42ad8738c
commit 70b66fd55e
2 changed files with 3 additions and 3 deletions

View File

@ -1,7 +1,7 @@
const fs = require("fs"); const fs = require("fs");
const analysis = require("./analysis.js"); const analysis = require("./analysis.js");
if (process.argv.length < 4) { if (process.argv.length < 3) {
console.log("Usage: node pages.js <data-dir>"); console.log("Usage: node pages.js <data-dir>");
console.log() console.log()
console.log("e.g. node pages.js data/"); console.log("e.g. node pages.js data/");

View File

@ -4,7 +4,7 @@ if [[ $repository_name == *.github.io ]]; then
echo "Name ends with github.io" echo "Name ends with github.io"
else else
echo "Name does not end with github.io, not generating pages" echo "Name does not end with github.io, not generating pages"
exit # exit
fi fi
rm -rf tmp-data rm -rf tmp-data
@ -17,7 +17,7 @@ node pages.js tmp-data
cp tmp-data/latest-canonical.json docs cp tmp-data/latest-canonical.json docs
cp site/* docs cp site/* docs
pushd pages pushd docs
git add * git add *
git commit -am "Updated $(date +'%Y-%m-%d')" git commit -am "Updated $(date +'%Y-%m-%d')"
git push git push