diff options
| author | David Bremner <david@tethera.net> | 2016-03-27 17:25:11 -0300 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2016-03-28 09:29:42 -0300 |
| commit | 9bbc54bd406fc218a5463efe9a127aee461fb47b (patch) | |
| tree | 18558b81f6a2e37949477ba3d40fa8872c3ea6a0 | |
| parent | c41d0db077f295c92b01b69ed001afa233b7d0f0 (diff) | |
nmbug: ignore # comments
Lines starting with # have always (for a long time, anyway) been ignored
by notmuch-restore, but have not been generated by notmuch-dump
previously. In order to make nmbug robust against such output, ignore
comment lines.
| -rwxr-xr-x | devel/nmbug/nmbug | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/devel/nmbug/nmbug b/devel/nmbug/nmbug index 81f582ce..0787b2ba 100755 --- a/devel/nmbug/nmbug +++ b/devel/nmbug/nmbug @@ -608,6 +608,8 @@ def _index_tags(): stdin=_subprocess.PIPE, additional_env={'GIT_INDEX_FILE': path}) as git: for line in notmuch.stdout: + if line.strip().startswith('#'): + continue (tags_string, id) = [_.strip() for _ in line.split(' -- id:')] tags = [ _unquote(tag[len(prefix):]) |