diff options
| author | AndrewMurrell <ImFromNASA@gmail.com> | 2017-04-02 00:29:29 -0400 |
|---|---|---|
| committer | AndrewMurrell <ImFromNASA@gmail.com> | 2017-04-02 00:29:29 -0400 |
| commit | 7d25ab4bfd724571a7d41268f9cec63907afb924 (patch) | |
| tree | 844657b812f7f16d408b77288ba71eef3de6cfd2 /bin/post-receive.githook | |
| parent | d0694b12decb594d7b1dd817454738b3df9f0d90 (diff) | |
| parent | 3f1da016d022ad0dfafebf81041842364a6081ec (diff) | |
Merge branch 'master' of https://git.andrewdm.me/www
Diffstat (limited to 'bin/post-receive.githook')
| -rwxr-xr-x | bin/post-receive.githook | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/bin/post-receive.githook b/bin/post-receive.githook new file mode 100755 index 0000000..ddd74c3 --- /dev/null +++ b/bin/post-receive.githook @@ -0,0 +1,22 @@ +#!/usr/bin/env bash +set -e +whoami +export LANG=en_US.UTF-8 +unset GIT_DIR + +if ! type scss; then + . ~/.profile +fi + +if ! git merge-base --is-ancestor master pre-generated; then + dir="$(mktemp --tmpdir -d www-generate.XXXXXXXXXX)" + git clone "$PWD" "$dir" + pushd "$dir" + bin/pre-generate + git push origin pre-generated + popd + rm -rf -- "$dir" +fi + +cd /srv/http/www.andrewdm.me +git pull --ff-only |