[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master 861ac933dd8: Run `man' also on remote systems
|
From: |
Eli Zaretskii |
|
Subject: |
Re: master 861ac933dd8: Run `man' also on remote systems |
|
Date: |
Thu, 02 Nov 2023 15:51:59 +0200 |
> From: Eshel Yaron <me@eshelyaron.com>
> Cc: emacs-devel@gnu.org
> Date: Thu, 02 Nov 2023 12:55:03 +0100
>
> > 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`?
Isn't it true that not only the man pages come from the remote system,
but also the 'man' program is invoked on the remote system? If it's
true, then "remote-manpage" should not be part of the name.