[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#71049: async-shell-command ends with "Process *Async Shell Command*
From: |
Michael Albinus |
Subject: |
bug#71049: async-shell-command ends with "Process *Async Shell Command* finished" when remote "direct-async-process" |
Date: |
Sat, 25 May 2024 19:00:19 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Dmitry Gutov <dmitry@gutov.dev> writes:
> Hi Michael,
Hi Dmitry,
> Either of my patches would let the user avoid having to choose between
> functionality and performance. Though I suppose some (many?) would
> prefer to disable the remote history ring altogether, for extra
> performance.
I'll have another idea.
shell-mode checks already, whether the histfile is equal
null-device. That works for the local case only.
However, in Tramp there is tramp-histfile-override. It let's you decide
whether you want to use the remote histfile, or use a histfile given by
a file name, or don't use a histfile.
This works for normal sync and async processes, but not for direct async
processes (IIRC). Let's see whether I could extend this mechanism, and
provide shell-mode proper information.
If a user sets tramp-histfile-override to t or "/dev/null", shell-mode
should not read the remote histfile. Users are already conditioned to
set this user option :-)
WDYT? I'll work on this tomorrow.
Best regards, Michael.
- bug#71049: async-shell-command ends with "Process *Async Shell Command* finished" when remote "direct-async-process", (continued)
- bug#71049: async-shell-command ends with "Process *Async Shell Command* finished" when remote "direct-async-process", Michael Albinus, 2024/05/24
- bug#71049: async-shell-command ends with "Process *Async Shell Command* finished" when remote "direct-async-process", Michael Albinus, 2024/05/24
- bug#71049: async-shell-command ends with "Process *Async Shell Command* finished" when remote "direct-async-process", Eli Zaretskii, 2024/05/24
- bug#71049: async-shell-command ends with "Process *Async Shell Command* finished" when remote "direct-async-process", Michael Albinus, 2024/05/24
- bug#71049: async-shell-command ends with "Process *Async Shell Command* finished" when remote "direct-async-process", Eli Zaretskii, 2024/05/24
- bug#71049: async-shell-command ends with "Process *Async Shell Command* finished" when remote "direct-async-process", Dmitry Gutov, 2024/05/24
- bug#71049: async-shell-command ends with "Process *Async Shell Command* finished" when remote "direct-async-process", Michael Albinus, 2024/05/25
- bug#71049: async-shell-command ends with "Process *Async Shell Command* finished" when remote "direct-async-process", Dmitry Gutov, 2024/05/25
- bug#71049: async-shell-command ends with "Process *Async Shell Command* finished" when remote "direct-async-process", Michael Albinus, 2024/05/25
- bug#71049: async-shell-command ends with "Process *Async Shell Command* finished" when remote "direct-async-process", Dmitry Gutov, 2024/05/25
- bug#71049: async-shell-command ends with "Process *Async Shell Command* finished" when remote "direct-async-process",
Michael Albinus <=
- bug#71049: async-shell-command ends with "Process *Async Shell Command* finished" when remote "direct-async-process", Dmitry Gutov, 2024/05/25
- bug#71049: async-shell-command ends with "Process *Async Shell Command* finished" when remote "direct-async-process", Michael Albinus, 2024/05/25
- bug#71049: async-shell-command ends with "Process *Async Shell Command* finished" when remote "direct-async-process", Michael Albinus, 2024/05/26
- bug#71049: async-shell-command ends with "Process *Async Shell Command* finished" when remote "direct-async-process", Dmitry Gutov, 2024/05/28
- bug#71049: async-shell-command ends with "Process *Async Shell Command* finished" when remote "direct-async-process", Michael Albinus, 2024/05/29
- bug#71049: async-shell-command ends with "Process *Async Shell Command* finished" when remote "direct-async-process", Dmitry Gutov, 2024/05/29
- bug#71049: async-shell-command ends with "Process *Async Shell Command* finished" when remote "direct-async-process", Michael Albinus, 2024/05/29
- bug#71049: async-shell-command ends with "Process *Async Shell Command* finished" when remote "direct-async-process", Eli Zaretskii, 2024/05/29
- bug#71049: async-shell-command ends with "Process *Async Shell Command* finished" when remote "direct-async-process", Dmitry Gutov, 2024/05/29
- bug#71049: async-shell-command ends with "Process *Async Shell Command* finished" when remote "direct-async-process", Eli Zaretskii, 2024/05/29