On Sun, Oct 30, 2016 at 2:39 PM, Mark Walters <markwalters1009@gmail.com> wrote:
> The only possible downside I can see with this is if the address for the
> notmuch-server varies. For example my router does NAT the address from
> inside and outside my home network is different. I don't know if that is
> a common setup, and quite plausibly I could configure things better. I
> only mention it as it might be easier to change an environment variable,
> than change the .ssh/config file.

Arguably you should figure out how to use the ssh config Match keyword
to automagically configure the ssh client depending on which side of
the network you are. I'd imagine this is helpful outside of the remote
notmuch context too.

BR,
Jani.