I wouldn't consider dozens of stackoverflow/askubuntu/etc complaints of
missing/disappearing history "cherry-picked". There were far more than
I sent.
I understand not wanting to pull the rug out from under people, but the
kludges Kealey posted were inelegant. An opt-in for the suggested
behavior would be good enough.
JS
On 2024-08-20 2:17 am, Lawrence Velázquez wrote:
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.