This would fix the fact that shell history isn't being updated, and I would assume this is how other terminals do it.
I might fix this one myself once you have the #2 and #6 fixed on main (both of which I still have really messy local fixes for that I could send you if you want).
This would fix the fact that shell history isn't being updated, and I would assume this is how other terminals do it.
I might fix this one myself once you have the #2 and #6 fixed on main (both of which I still have really messy local fixes for that I could send you if you want).