2023-05-28 09:53:19 +02:00
|
|
|
#!/bin/bash
|
2023-05-28 11:26:17 +02:00
|
|
|
repository_name=${GITHUB_REPOSITORY#*/}
|
|
|
|
if [[ $repository_name == *.github.io ]]; then
|
|
|
|
echo "Name ends with github.io"
|
|
|
|
else
|
|
|
|
echo "Name does not end with github.io, not generating pages"
|
2023-05-28 11:34:56 +02:00
|
|
|
# exit
|
2023-05-28 09:53:19 +02:00
|
|
|
fi
|
|
|
|
|
|
|
|
rm -rf tmp-data
|
|
|
|
mkdir tmp-data
|
2023-05-28 11:26:17 +02:00
|
|
|
mkdir -p docs
|
|
|
|
cp docs/latest-canonical.json tmp-data
|
2023-05-28 09:53:19 +02:00
|
|
|
|
|
|
|
npm install
|
2023-05-28 11:26:17 +02:00
|
|
|
node pages.js tmp-data
|
2023-05-30 10:34:25 +02:00
|
|
|
cp tmp-data/latest-canonical* docs
|
2023-05-28 09:53:19 +02:00
|
|
|
|
2023-05-28 11:26:17 +02:00
|
|
|
cp site/* docs
|
2023-05-28 11:34:56 +02:00
|
|
|
pushd docs
|
2023-05-28 09:53:19 +02:00
|
|
|
git add *
|
|
|
|
git commit -am "Updated $(date +'%Y-%m-%d')"
|
|
|
|
git push
|
|
|
|
popd
|
|
|
|
|
|
|
|
rm -rf tmp-data
|