From b7221dccb13116a33549045bff8eb97ae82c9fc4 Mon Sep 17 00:00:00 2001
From: "Silas S. Brown" <ssb22@cam.ac.uk>
Date: Sun, 26 Nov 2017 03:02:04 -0600
Subject: [PATCH] Update Annotator Generator, git-sync script
---
annogen.py | 3 ++-
git-sync.sh | 2 +-
2 files changed, 3 insertions(+), 2 deletions(-)
diff --git a/annogen.py b/annogen.py
index 0fc71ca..806ff97 100755
--- a/annogen.py
+++ b/annogen.py
@@ -1175,7 +1175,8 @@ android_src = r"""
"""+additional_js_instructions+r"""
You can also set ANNOGEN_ANDROID_URLS to a
whitespace-separated list of URL prefixes to
- offer to be a browser for. For example,
+ offer to be a browser for (when a matching URL
+ is opened by another application). For example,
ANNOGEN_ANDROID_URLS="http://example.com http://example.org/documents"
*/
diff --git a/git-sync.sh b/git-sync.sh
index 5a9ee00..eebfa90 100755
--- a/git-sync.sh
+++ b/git-sync.sh
@@ -2,4 +2,4 @@
wget -N http://people.ds.cam.ac.uk/ssb22/adjuster/adjuster.py
wget -N http://people.ds.cam.ac.uk/ssb22/adjuster/annogen.py
wget -N http://people.ds.cam.ac.uk/ssb22/adjuster/termlayout.py
-git commit -am update && git push
+git commit -am "Update $(echo $(git diff|grep '^--- a/'|sed -e 's,^--- a/,,')|sed -e 's/ /, /g' -e 's/git-sync.sh/git-sync script/' -e 's/adjuster.py/Web Adjuster/' -e 's/annogen.py/Annotator Generator/' -e 's/termlayout.py/TermLayout/')" && git push
--
GitLab