]> git.donarmstrong.com Git - bin.git/commitdiff
have update_org_files also pull
authorDon Armstrong <don@donarmstrong.com>
Tue, 15 Nov 2016 18:30:08 +0000 (10:30 -0800)
committerDon Armstrong <don@donarmstrong.com>
Tue, 15 Nov 2016 18:31:16 +0000 (12:31 -0600)
update_org_files

index 2b2692d03761f82ef13584f77f842eaa645d7984..0e0f6ab27e11af1412c0b170fac3e2c17ea2adaf 100755 (executable)
@@ -8,7 +8,8 @@ if [ "x$1" == "xdoit" ]; then
             sed -z 's/^ M[[:space:]]*//g' | \
             xargs -0 git commit -m'update org files'
         git push;
-    fi; 
+    fi;
+    git pull;
 else
     emacsclient -n -e '(org-save-all-org-buffers)' >/dev/null 2>&1
     mr -d ~/projects/org-notes -j5 run update_org_files doit;