On Tue, Aug 20, 2024, at 1:42 AM, supp...@eggplantsd.com wrote: > The suggestion is that the default behavior needs some work
The default behavior is unlikely to change. For every cherry-picked example of someone unsatisfied with it (bugs aside), there is likely someone else who prefers it as is (or at least would not appreciate it changing out from under them). New shopt settings may be doable. -- vq
