Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Unable to rename gnome terminal window after upgrading to Ubuntu 15.04

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

like image 419
Unaiz Arakkal Avatar asked Jun 17 '15 06:06

Unaiz Arakkal


People also ask

How do I change GNOME Terminal name?

If you are a Ubuntu user, you can change the title of a gnome-terminal tab using the HUD. While in the gnome-terminal, hit Alt to bring up the HUD, type the first few letters, e.g. "tit", hit enter and type in your new title. This is a very quick method and avoids using the mouse.

What is the name of GNOME Terminal?

GNOME Terminal is a terminal emulator for the GNOME desktop environment written by Havoc Pennington and others. Terminal emulators allow users to access a UNIX shell while remaining on their graphical desktop.


2 Answers

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

like image 57
abdul Avatar answered Oct 18 '22 19:10

abdul


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.

like image 31
lavaturtle Avatar answered Oct 18 '22 18:10

lavaturtle