summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKjetil Orbekk <kjetil.orbekk@gmail.com>2016-12-01 11:50:47 -0500
committerKjetil Orbekk <kjetil.orbekk@gmail.com>2016-12-01 11:50:47 -0500
commitf0e8ac47bc52d40099cc0adc486cd1cbf395a339 (patch)
tree35e16dc17fb1f25768fda329e3e1e982efff6e83
parentd9a4cd7057498acd93284b8eca098e0fa9cbc491 (diff)
Update publisher to work with post-receive hooks.
-rwxr-xr-xpublish.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/publish.sh b/publish.sh
index 7a96118..2b223a2 100755
--- a/publish.sh
+++ b/publish.sh
@@ -2,7 +2,7 @@
set -x
cd $(dirname $0)
-(cd input && git pull)
+git --work-tree=input --git-dir=/storage/projects/org.git checkout -f
INPUTS=$(find input -name '*.org' -exec grep -l "#+PUBLISH" {} \;)
readonly filter='s/#\+PUBLISH//g; ;s/\[file:([^\]]*)\.org\]/[file:$1.html]/g'