diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2015-11-14 22:11:02 -0700 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2015-11-14 22:11:02 -0700 |
| commit | 5ddc834e5536d56a69da3325ec5b57acffc47b22 (patch) | |
| tree | 8787c8dea8ec132940f75668058c1b4e04215629 | |
| parent | 998bca8c0396e046f6336cb38a0cc08183f942c5 (diff) | |
| download | dotfiles-5ddc834e5536d56a69da3325ec5b57acffc47b22.tar.gz | |
remove old mr config
| -rw-r--r-- | home-mrconfig | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/home-mrconfig b/home-mrconfig index d98c8a8b..594cd1f4 100644 --- a/home-mrconfig +++ b/home-mrconfig @@ -379,22 +379,6 @@ sync = doccheckin && git pull && git push fi -# after pulling, update the online copy of my Org-mode agenda -# currently disabled because it's slow and with a computer at work I've not been checking this online copy -# post_update = echo -n "Updating web calendar... ";emacs -batch -l ~/.emacs.d/init.el -eval "(org-batch-store-agenda-views)" >/dev/null 2>/dev/null;echo "hopefully done." - -[doc/www] -order = 5 -checkout = git clone 'ssh://ma/~/local/git/doc.www.git' 'www' -update = git pull "$@" -skip = ! ( mine || on spw@ma ) || win32 - -[doc/www/blog] -order = 6 -checkout = git clone 'ssh://ma/~/local/git/doc.www.blog.git' 'blog' -update = git pull "$@" -skip = ! ( mine || on spw@ma ) || win32 - # --- static websites [public_html] |