[hakcermani]

.. wrote a simple script to maintain a different history per gnome-terminal. Not 100% mine, but extended it to a point where it is working great for me!

https://askubuntu.com/a/1458448/1679924