[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#65039: [PATCH] Add bookmark handler for shell-mode
From: |
Michael Albinus |
Subject: |
bug#65039: [PATCH] Add bookmark handler for shell-mode |
Date: |
Fri, 14 Feb 2025 18:04:44 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Ship Mints <shipmints@gmail.com> writes:
Hi,
> I'll check, whether I can improve this in Tramp.
>
> Perhaps something as simple as a buffer-local in either the main
> buffer or in the remote buffer, accessible via
> with-connection-local-variables?
My idea is rather to extend expand-file-name. If
tramp-show-ad-hoc-proxies is non-nil, it should return the whole ad-hoc
multi-hop remote file name. Something like this.
(I thought it is simple, but it looks a little bit more complex.)
> I'll work on the documentation as Eli suggested and post a revised
> patch today including documentation for tramp-show-ad-hoc-proxies.
Thanks.
Best regards, Michael.
- bug#65039: [PATCH] Add bookmark handler for shell-mode, Ship Mints, 2025/02/11
- bug#65039: [PATCH] Add bookmark handler for shell-mode, Eli Zaretskii, 2025/02/12
- bug#65039: [PATCH] Add bookmark handler for shell-mode, Michael Albinus, 2025/02/13
- bug#65039: [PATCH] Add bookmark handler for shell-mode, Ship Mints, 2025/02/13
- bug#65039: [PATCH] Add bookmark handler for shell-mode, Ship Mints, 2025/02/13
- bug#65039: [PATCH] Add bookmark handler for shell-mode, Michael Albinus, 2025/02/14
- bug#65039: [PATCH] Add bookmark handler for shell-mode, Ship Mints, 2025/02/14
- bug#65039: [PATCH] Add bookmark handler for shell-mode,
Michael Albinus <=
- bug#65039: [PATCH] Add bookmark handler for shell-mode, Ship Mints, 2025/02/14
- bug#65039: [PATCH] Add bookmark handler for shell-mode, Michael Albinus, 2025/02/14
- bug#65039: [PATCH] Add bookmark handler for shell-mode, Ship Mints, 2025/02/14
- bug#65039: [PATCH] Add bookmark handler for shell-mode, Ship Mints, 2025/02/14
- bug#65039: [PATCH] Add bookmark handler for shell-mode, Michael Albinus, 2025/02/15
- bug#65039: [PATCH] Add bookmark handler for shell-mode, Michael Albinus, 2025/02/15
- bug#65039: [PATCH] Add bookmark handler for shell-mode, Ship Mints, 2025/02/15
- bug#65039: [PATCH] Add bookmark handler for shell-mode, Ship Mints, 2025/02/15
- bug#65039: [PATCH] Add bookmark handler for shell-mode, Michael Albinus, 2025/02/15
- bug#65039: [PATCH] Add bookmark handler for shell-mode, Ship Mints, 2025/02/15