home · contact · privacy
3bea5b28133a3de5ba5f34a11f438ede1331219e
[config] / systemfiles / post-update
1 #!/bin/sh
2 ZETTELDIR=/home/plom/zettel
3 GIT_WORK_TREE=$ZETTELDIR git checkout -f
4 cd $ZETTELDIR
5 redo