[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master 861ac933dd8: Run `man' also on remote systems
|
From: |
Emanuel Berg |
|
Subject: |
Re: master 861ac933dd8: Run `man' also on remote systems |
|
Date: |
Thu, 02 Nov 2023 12:43:36 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Michael Albinus wrote:
>> 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'.
I got it to work, you have to set
`Man-support-remote-systems':
(setq Man-support-remote-systems t)
\o/
--
underground experts united
https://dataswamp.org/~incal