That history idea is fantastic! I was using global history when I was on zsh, which was convenient when looking for something I did recently, and annoying for a

That history idea is fantastic! I was using global history when I was on zsh, which was convenient when looking for something I did recently, and annoying for all the other cases. I need to set up something like that too, thanks for the idea!