[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Non file buffers and default-directory
From: |
Emanuel Berg |
Subject: |
Re: Non file buffers and default-directory |
Date: |
Tue, 25 Apr 2023 14:06:31 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Michael Albinus wrote:
>> So the man page browser gets the affected directory, but
>> still shows man pages from the local system. So either it
>> should show man pages from the remote system or it should
>> reset its `default-directory' when fetching a local?
>
> Supporting remote man pages is on my TODO, unfortunately
> with low priority only.
You have interesting items on that list!
>> I still think using `tramp-cleanup-all-buffers' manually
>> all the time indicates some other problem ...
>
> Yes. For example switching between home office and work
> office. Something, you cannot blame Tramp for :-)
Right. I forgot work is something done :)
--
underground experts united
https://dataswamp.org/~incal
- Re: Non file buffers and default-directory, (continued)
- Re: Non file buffers and default-directory, Michael Albinus, 2023/04/19
- Re: Non file buffers and default-directory, Manuel Giraud, 2023/04/20
- Re: Non file buffers and default-directory, Emanuel Berg, 2023/04/20
- Re: Non file buffers and default-directory, Manuel Giraud, 2023/04/21
- Re: Non file buffers and default-directory, Emanuel Berg, 2023/04/23
- Re: Non file buffers and default-directory, Michael Albinus, 2023/04/24
- Re: Non file buffers and default-directory,
Emanuel Berg <=
- Re: Non file buffers and default-directory, Marcin Borkowski, 2023/04/21
- Re: Non file buffers and default-directory, Manuel Giraud, 2023/04/21
- Re: Non file buffers and default-directory, Michael Albinus, 2023/04/21
- Re: Non file buffers and default-directory, Marcin Borkowski, 2023/04/21
- Re: Non file buffers and default-directory, Manuel Giraud, 2023/04/21
- Re: Non file buffers and default-directory, Michael Albinus, 2023/04/22
- Re: Non file buffers and default-directory, Manuel Giraud, 2023/04/22
- Re: Non file buffers and default-directory, Eli Zaretskii, 2023/04/22
- Re: Non file buffers and default-directory, Manuel Giraud, 2023/04/22
- Re: Non file buffers and default-directory, Manuel Giraud, 2023/04/22