37 lines
801 B
Bash
Executable File
37 lines
801 B
Bash
Executable File
#!/bin/sh
|
|
# Update website(s): hledger.org
|
|
#
|
|
# Called via github webhook (on push to main repo or wiki)
|
|
# /etc/supervisord.conf -> [program:github-post-receive]
|
|
# /etc/github-post-receive.conf
|
|
# and via cron (nightly)
|
|
# /etc/crontab
|
|
# or manually (make site)
|
|
|
|
(\
|
|
|
|
echo && \
|
|
|
|
# print timestamp. On mac, use brew-installed GNU date.
|
|
PATH="/usr/local/opt/coreutils/libexec/gnubin:$PATH" date --rfc-3339=seconds && \
|
|
|
|
# fetch latest code & website - sometimes already done by webhook, not always
|
|
git pull && \
|
|
|
|
# fetch latest wiki content
|
|
printf "wiki: " && git -C wiki pull && \
|
|
|
|
# ensure GHC can handle non-ascii
|
|
export LANG=en_US.UTF-8 && \
|
|
|
|
# ensure latest Shake is built
|
|
./Shake.hs && \
|
|
|
|
|
|
# update website
|
|
./Shake site/index.md && \
|
|
./Shake website \
|
|
|
|
# print and log to:
|
|
) 2>&1 | tee -a site.log
|