diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2022-08-15 11:35:12 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2022-08-17 16:18:14 -0700 |
commit | fba2b63e17c2cccc2fb7e27e64dd8795cd906e29 (patch) | |
tree | fc26772e9246c9353970cc48886f7260cd92bf2b /bin/doccheckin | |
parent | 8076ce6eb36e475fdbe13304c1b0d692c60f54a7 (diff) | |
download | dotfiles-fba2b63e17c2cccc2fb7e27e64dd8795cd906e29.tar.gz |
commit ~/doc/News/ way less often
No need to inflate ~/doc/ repository so much.
Diffstat (limited to 'bin/doccheckin')
-rwxr-xr-x | bin/doccheckin | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/bin/doccheckin b/bin/doccheckin index 29046f8b..02bcc6e9 100755 --- a/bin/doccheckin +++ b/bin/doccheckin @@ -19,9 +19,11 @@ git add howm/*.org howm/*/*.org \ papers/*.org papers/*.md papers/*.bib \ newpapers/*/*.org \ dissert/*.md pres/*.md letters/*.tex \ - emacs-abbrevs emacs-bookmarks News/* \ + emacs-abbrevs emacs-bookmarks \ emacs-diary archive/emacs-diary-* \ || true +[ "$1" = "--full" ] && git add News/* ||: + # this command should never fail and stop mr -git commit -a -m "auto commit on $(hostname -s)" || true +git commit -m "auto commit on $(hostname -s)" || true |