36 lines
857 B
Bash
Executable File
36 lines
857 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 deploy)
|
|
|
|
(\
|
|
|
|
# timestamp
|
|
echo && 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 && \
|
|
|
|
# add latest wiki sidebar links to home page, and push right away so we can keep pulling
|
|
make --no-print-directory site/index.md-push && \
|
|
|
|
# ensure GHC can handle non-ascii
|
|
export LANG=en_US.UTF-8 && \
|
|
|
|
# ensure latest Shake is built
|
|
./Shake.hs \
|
|
|
|
# update website's generated content (eg manuals) and html
|
|
./Shake website \
|
|
|
|
# print and log to:
|
|
) 2>&1 | tee -a deploy.log
|