On 2023-04-14 07:28, Felipe Contreras wrote:
Mind, I've sometimes wanted to be able to isolate a shell from historyand I expect that's easy, tho I don't know how.Quite easy: fc -p It creates a new history stack (no $HISTFILE). To return to the previous one: fc -P
Thanks, I'll file that. I'm not doing any shelling right now, but next time I am, I'll play with that. You hafta love the level of control.