2020-04-11 10:25:56 +00:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
|
|
set -o errexit
|
|
|
|
|
set -o pipefail
|
|
|
|
|
set -o nounset
|
|
|
|
|
# set -o xtrace
|
|
|
|
|
|
|
|
|
|
SCRIPTPATH="$( cd "$(dirname "$0")" >/dev/null 2>&1 ; pwd -P )"
|
|
|
|
|
pushd ${SCRIPTPATH}
|
|
|
|
|
|
2020-09-03 15:14:54 +00:00
|
|
|
for script in scripts/*.py ; do
|
2020-04-11 10:25:56 +00:00
|
|
|
output="${script##*/}"
|
|
|
|
|
output="src/generated/${output%.*}.html"
|
|
|
|
|
echo "Generating output for ${script} into ${output} ..."
|
|
|
|
|
"${script}" > "${output}"
|
|
|
|
|
done
|
|
|
|
|
|
2021-01-22 00:40:08 +00:00
|
|
|
rm -rf ./public
|
2020-04-11 10:25:56 +00:00
|
|
|
cd src
|
|
|
|
|
hugo
|
