not zsh .. plugging my bash script [1] (and gnome task bar UI) - to start a gnome terminal with a different named history file. [1]: https://github.com/appsmati

not zsh .. plugging my bash script [1] (and gnome task bar UI) - to start a gnome terminal with a different named history file. [1]: https://github.com/appsmatics/gtsh-hist https://github.com/appsmatics/gtsh-hist