.. 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:

.. 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 https://askubuntu.com/a/1458448/1679924