From: Christian Heller Date: Mon, 2 Jan 2017 22:30:42 +0000 (+0100) Subject: Extend remote git management recipe. X-Git-Url: https://plomlompom.com/repos/pick_tasks?a=commitdiff_plain;h=ed5ca83e98679f5f3ce50392320b427a4ac11e02;p=redo-blog Extend remote git management recipe. --- diff --git a/README.md b/README.md index 822c08d..49ad8b1 100644 --- a/README.md +++ b/README.md @@ -49,10 +49,18 @@ called `blog`: git init --bare blog.git cat << EOF > blog.git/hooks/post-update #!/bin/sh - BLOGDIR=~/blog - GIT_WORK_TREE=\$BLOGDIR git checkout -f - cd \$BLOGDIR + blog_dir=~/blog + export GIT_DIR=\$(pwd) + export GIT_WORK_TREE="\$blog_dir" + git checkout -f + cd "\$GIT_WORK_TREE" redo + git add metadata/author metadata/url metadata/title metadata/*.tmpl metadata/*.automatic_metadata metadata/automatic_metadata + status=\$(git status -s) + n_updates=\$(printf "$status" | grep -vE '^\?\?' | wc -l) + if [ "\$n_updates" -gt 0 ]; then + git commit -a -m 'Update metadata' + fi EOF chmod a+x blog.git/hooks/post-update @@ -81,6 +89,11 @@ replace the username `user` and the server name `example.org`): git commit -m 'set up blog metadata' git push origin master +If successful, the git hook will furthermore commit some ~/blog/metadata/ files +generated by redo, that can be pulled into the client-side local repository: + + git pull origin master + bugs and peculiarities ----------------------