Correct, but most of the time I use the same set of panes, created at startup, so the commands are in the history where I need them. And when they are not I gre

Correct, but most of the time I use the same set of panes, created at startup, so the commands are in the history where I need them. And when they are not I grep in ~/.bash_history_*.