Is there a way to change the name of individual tabs in the default gnome terminal? ie one tab is "tab1", the next tab is "another_tab"
To be clear, I don't want to change the prompt, just the name of each tab. I thought of going with tmux but wanted to see if I can get away with something simpler since renaming is really all I need.
