I am Python programmer and the Linux admin for our company.
I love using Gnome (Ubuntu 18.04) for work.
Usually I have 10 terminal tabs open for my different servers / Python projects - and they are all called “terminal”
I tried right-click to rename them, I tried several bash-scripts which should allow renaming - nothing worked.
Is there are current way to rename the tabs in the
GNOME Terminal application? Or is it planned to introduce this feature?
Thank you very much!