2017-08-06 20:37:15 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
if [[ -z $1 ]] ; then
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
repo=$1
|
|
|
|
|
|
2017-08-08 17:34:05 +00:00
|
|
|
[[ -e "/website" ]] || git clone ${repo} /website
|
2017-08-06 20:37:15 +00:00
|
|
|
cd /website
|
|
|
|
|
|
|
|
|
|
cabal install
|
|
|
|
|
sh -c "while true ; do sleep 600 && git pull --ff-only origin master; done" &
|
2017-08-08 17:53:16 +00:00
|
|
|
cabal run site watch -- --host 0.0.0.0
|
2017-08-06 20:37:15 +00:00
|
|
|
|
