mirror of
https://github.com/simonmichael/hledger.git
synced 2024-09-20 10:47:29 +03:00
35 lines
705 B
Bash
Executable File
35 lines
705 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 && \
|
|
|
|
# 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 deploy.log
|