]> git.notmuchmail.org Git - notmuch/commitdiff
CLI/git: support configuration for repo location / prefix
authorDavid Bremner <david@tethera.net>
Tue, 10 May 2022 10:32:48 +0000 (07:32 -0300)
committerDavid Bremner <david@tethera.net>
Fri, 17 Jun 2022 11:40:19 +0000 (08:40 -0300)
This is probably more convenient than always passing a command line
argument.

Use notmuch-config for consistency with other notmuch CLI tools.

Now that there is something relevant in the config files, test the
--config option.


No differences found