home · contact · privacy
projects / config / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge branch 'master' of plomlompom.com:/var/repos/config
[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
Unnamed repository; edit this file 'description' to name the repository.