diff options
| -rw-r--r-- | .gitignore | 2 | ||||
| -rwxr-xr-x | generate-html-archive.sh | 35 |
2 files changed, 36 insertions, 1 deletions
@@ -1 +1 @@ -index.html +*.tar.gz diff --git a/generate-html-archive.sh b/generate-html-archive.sh new file mode 100755 index 0000000..bf835f0 --- /dev/null +++ b/generate-html-archive.sh @@ -0,0 +1,35 @@ +#!/bin/sh +# +# Generate html archive: + +# get todays date in format XXXX-XX-XX: +DATE=`date +%Y-%m-%d` + +# archive file name: +ARCHIVE_NAME="$DATE-hf-web-generated-html.tar.gz" + +# tmp directory where generated html will reside: +TMP_DIR=/tmp/harmonicflow.org + +# make sure guix and related packages are installed properly: +sudo apt install guix +sudo guix package -m manifest.scm + +# make sure old tmp folder is deleted before proceeding: +if [ ! -d "$TMP_DIR" ]; then + rm -rf $TMP_DIR + echo "Removed old '$TMP_DIR' dir.." +fi + +# generate the raw html in /tmp/harmonicflow.org: +LANG=en_US.UTF-8 HFGE_WEB_SITE_LOCAL=yes guix environment -C -m manifest.scm -E LANG -E HFGE_WEB_SITE_LOCAL --share=/tmp -- haunt build + +# make sure 'index.html' reside in public_html root too: +cp $TMP_DIR/public_html/en/index.html $TMP_DIR/public_html/ + +# create the archive: +tar -cpvzf $ARCHIVE_NAME $TMP_DIR + +# and so it seems: +echo "Done.." + |