[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#58265: 29.0.50; [PATCH] $HOME adjustment for 'ert-remote-temporary-f
From: |
Lars Ingebrigtsen |
Subject: |
bug#58265: 29.0.50; [PATCH] $HOME adjustment for 'ert-remote-temporary-file-directory' is wrong |
Date: |
Mon, 03 Oct 2022 11:17:42 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Jim Porter <jporterbugs@gmail.com> writes:
> Looking at ert-x.el, I think this is because
> 'ert-remote-temporary-file-directory' does some fixup on $HOME, but it
> was too aggressive. See attached.
Looks good to me; please go ahead and push.