[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master 861ac933dd8: Run `man' also on remote systems
From: |
Eshel Yaron |
Subject: |
Re: master 861ac933dd8: Run `man' also on remote systems |
Date: |
Thu, 02 Nov 2023 12:55:03 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
> I have pushed your proposals to master with the modification, that it
> doesn't speak about *execution* of the man program on the remote
> system. Not all Tramp backends support remote processes, so we cannot
> let run man there. Instead, for such use cases, I plan to implement a
> local copy of the man page from the remote system, and let run "man -l
> <local copy>" then.
I see, that makes sense. So ISTM that what the new option essentially
does is to control whether or not Emacs renders remote man pages, versus
only rendering pages found on the local system. Is that a correct
description?
>> I'm would also consider changing the name of the new user option from
>> `Man-support-remote-systems' to `Man-execute-on-remote-systems', since
>> to me that better conveys the choice you make by setting this option.
>
> For the very same reason I haven't applied this change. But of course,
> I'm open to any better name for `Man-support-remote-systems'.
How about `Man-render-remote-manpage`, or `Man-use-remote-manpage`?