|
| From: | Dmitry Gutov |
| Subject: | bug#34221: [PATCH] Make project-files work with remote files |
| Date: | Fri, 1 Feb 2019 06:16:54 +0300 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:65.0) Gecko/20100101 Thunderbird/65.0 |
On 30.01.2019 11:34, Michael Albinus wrote:
LGTM. Let Dmitry comment, and if he agrees, it could be pushed.
Looks good to me, except project--file-remote-name could do with a rename. At least call it ...-remote-nameS, maybe?
Or project--expand-remote-names.Aside from that, '(concat remote-id file)' looks a bit iffy to me, but since you approved it, it must be fine.
| [Prev in Thread] | Current Thread | [Next in Thread] |