Unable to rename gnome terminal window after upgrading to Ubuntu 15.04

Question

I am not able to rename terminal window after upgrading into Ubuntu 15.04. There are three options with the right click -

• Move Terminal Left
• Move Terminal Right
• Close Terminal

And there is no option 'Set title' which was present on previous versions of Ubuntu.

My gnome-terminal version is 3.14.2

Answer 1

In case anyone is still looking, The .bashrc solution proposed by Kirby worked for me too

set-title(){
  ORIG=$PS1
  TITLE="\e]2;$@\a"
  PS1=${ORIG}${TITLE}
}

then from trminal : $ set-title your-title

Answer 2

There's an answer over here: https://askubuntu.com/questions/616404/ubuntu-15-04-fresh-install-cant-rename-gnome-terminal-tabs

In summary: The option was removed :/ There are some workarounds, of various levels of clunkiness.