[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: pwd and prompt don't update after deleting current working directory
From: |
Lawrence Velázquez |
Subject: |
Re: pwd and prompt don't update after deleting current working directory |
Date: |
Thu, 11 Jul 2024 23:02:35 -0400 |
User-agent: |
Cyrus-JMAP/3.11.0-alpha0-568-g843fbadbe-fm-20240701.003-g843fbadb |
On Thu, Jul 11, 2024, at 9:53 PM, David Hedlund wrote:
> On 2024-07-12 00:54, Lawrence Velázquez wrote:
>> (You're free to argue that bash *should* behave this way, but that's
>> a feature request, not a bug report. And having bash automatically
>> update its working directory based on filesystem changes would open
>> up its own can of worms.)
>>
> Thanks, Lawrence! I found this discussion helpful and believe it would
> be a valuable feature to add. Can I submit this as a feature request?
You've effectively done so already; there's no separate process to
follow. This discussion is the feature request, and the maintainer
will read it eventually. I only drew the distinction because the
current behavior is intentional, so your argument cannot be "bash
has a bug".
--
vq
- pwd and prompt don't update after deleting current working directory, David Hedlund, 2024/07/11
- Re: pwd and prompt don't update after deleting current working directory, Lawrence Velázquez, 2024/07/11
- Re: pwd and prompt don't update after deleting current working directory, David Hedlund, 2024/07/11
- Re: pwd and prompt don't update after deleting current working directory,
Lawrence Velázquez <=
- Re: pwd and prompt don't update after deleting current working directory, Chet Ramey, 2024/07/12
- Re: pwd and prompt don't update after deleting current working directory, David Hedlund, 2024/07/16
- Re: pwd and prompt don't update after deleting current working directory, Chet Ramey, 2024/07/16
- Re: pwd and prompt don't update after deleting current working directory, Lawrence Velázquez, 2024/07/16
- Re: pwd and prompt don't update after deleting current working directory, David Hedlund, 2024/07/16
- Re: pwd and prompt don't update after deleting current working directory, Martin D Kealey, 2024/07/19
- Re: pwd and prompt don't update after deleting current working directory, David Hedlund, 2024/07/19
Re: pwd and prompt don't update after deleting current working directory, Robert Elz, 2024/07/11