Configuration Information [Automatically generated, do not change]:
Machine: x86_64
OS: linux-gnu
Compiler: gcc
Compilation CFLAGS: -g -O2 -flto=auto -ffat-lto-objects -flto=auto
-ffat-lto-objects -fstack-protector-strong -Wformat
-Werror=format-security -Wall
uname output: Linux blues-System-Pr
On 2024-07-12 00:54, Lawrence Velázquez wrote:
On Thu, Jul 11, 2024, at 6:08 PM, David Hedlund wrote:
Expected behaviour
When a directory is deleted while the user is inside it, the terminal
should automatically return to the parent directory.
```
user@domain:~/test$ mkdir ~/test &
On 2024-07-12 04:19, David wrote:
n Thu, 11 Jul 2024 at 22:14, David Hedlund wrote:
When a directory is deleted while the user is inside it, the terminal
should automatically return to the parent directory.
Hi, I disagree, and I think if you understand better why this occurs, you
will
On 2024-07-12 15:10, Chet Ramey wrote:
On 7/11/24 9:53 PM, David Hedlund wrote:
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?
I'm not going to add this. It's not generally useful for i
On 2024-07-16 15:31, Lawrence Velázquez wrote:
On Tue, Jul 16, 2024, at 3:47 AM, David Hedlund wrote:
Do you think that it would be appropriate to submit this feature request
to the developers of the rm command instead.
How would this help? The rm utility cannot change the working directory
On 2024-07-19 07:30, Martin D Kealey wrote:
TL;DR: what you are asking for is unsafe, and should never be added to
any published version of any shell.
On Tue, 16 Jul 2024 at 17:47, David Hedlund wrote:
Do you think that it would be appropriate to submit this feature
request to the
