Arch Linux

varunvs

Member

Registered: 2014-03-07

Posts: 3

Not able to set title of GNOME Terminal

Not sure why this happens. I do not see the title on tabs after changing title of a gnome terminal instance. It still points to username@hostname:working directory

I use Terminal -> Set Title to change title. Previously I use this feature in CentOS 6.5, which works.

Could someone help me in fixing this? Does it require configuration somewhere else?

FitzJac

Member

From: The Netherlands

Registered: 2011-04-07

Posts: 234

Re: Not able to set title of GNOME Terminal

Add this to your .bashrc:

PROMPT_COMMAND='echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD}\007"'

---

I'd rather try touching the moon
than take on a whore's thinking.
             Al Swearengen

varunvs

Member

Registered: 2014-03-07

Posts: 3

Re: Not able to set title of GNOME Terminal

Hi FitzJac,

Thank you. But that would change the title of terminal permanently. But I would like to change it real time. Like, I would have one tab instance that is used for running ssh tunneling. In such case, I would change the title of that terminal instance to "ssh ops"; similarly another tab where I would run build tools would have "build ops" as title. I do this on CentOS just by right clicking that tab and clicking on "Change title" to set a custom title.

This would help me finding out which tab is doing what just by looking at the tab titles.

varunvs

Member

Registered: 2014-03-07

Posts: 3

Re: Not able to set title of GNOME Terminal

I can set title by the method in this post: http://superuser.com/questions/399812/g … mmand-line

But I feel the 'Set Title' functionality in gnome terminal is broken or missing configuration.

ooo

Member

Registered: 2013-04-10

Posts: 1,638

Re: Not able to set title of GNOME Terminal

In gnome-terminal preferences, Shorcuts tab -> Terminal -> Set title, you can set shortcut for changing the title.

It didn't seem to work for me however (title didn't change), but it could be there is xterm escape sequence defined in some dotfile that overrides the default terminal title.

Last edited by ooo (2014-07-11 13:29:11)

x-yuri

Member

Registered: 2013-01-06

Posts: 161

Re: Not able to set title of GNOME Terminal

Must have to do with this.