Ubuntu – Ubuntu 15.04 fresh install: Can’t rename gnome-terminal tabs

15.04gnome-terminal

In Ubuntu 14.10, if I had multiple Terminal Tabs open, I could right-click a Terminal tab and rename it. In Ubuntu 15.04 I can't find this feature.

Is there a easy way to get it back?

This is the current version:

$ gnome-terminal --version
GNOME Terminal 3.14.2

Best Answer

Answered here

I quote:

The user title code was removed¹ from gnome-terminal 3.14. There's only one way to set the title, using an escape sequence - e.g. with bash:
PROMPT_COMMAND='echo -ne "\033]0;YOUR TITLE GOES HERE\007"'
^{1: see gnome bug 724110 and gnome bug 740188.}

Related Solutions

Ubuntu – Gnome-terminal tabs: no contrast between active and inactive tabs

I'm running Ubuntu 13.10 with the Ambience theme - had the same problem.

Solution: edit ~/.config/gtk-3.0/gtk.css (you might have to create it) and add:

TerminalWindow,
TerminalWindow.background {
        background-color: #6e6e6e;
        color: #000000;
}

TerminalWindow .notebook tab {
        padding: 2;
        background-color: #6e6e6e;
}

TerminalWindow .notebook tab:active {
        background-color: #d1d1d1;
}

Ubuntu – Upgrade to 15.04: What happened to the gnome-terminal tabs

Just downgrade to good old 3.6.2 like me did.

If you have a 64-bit install:

wget http://archive.ubuntu.com/ubuntu/pool/main/g/gnome-terminal/gnome-terminal-data_3.6.2-0ubuntu1_all.deb http://archive.ubuntu.com/ubuntu/pool/main/g/gnome-terminal/gnome-terminal_3.6.2-0ubuntu1_amd64.deb
sudo dpkg -i gnome-terminal_3.6.2-0ubuntu1_amd64.deb gnome-terminal-data_3.6.2-0ubuntu1_all.deb
sudo apt-mark hold gnome-terminal
sudo apt-mark hold gnome-terminal-data

For 32-bit:

wget http://archive.ubuntu.com/ubuntu/pool/main/g/gnome-terminal/gnome-terminal-data_3.6.2-0ubuntu1_all.deb http://archive.ubuntu.com/ubuntu/pool/main/g/gnome-terminal/gnome-terminal_3.6.2-0ubuntu1_i386.deb
sudo dpkg -i gnome-terminal_3.6.2-0ubuntu1_i386.deb gnome-terminal-data_3.6.2-0ubuntu1_all.deb
sudo apt-mark hold gnome-terminal
sudo apt-mark hold gnome-terminal-data

Best Answer

Related Solutions

Ubuntu – Gnome-terminal tabs: no contrast between active and inactive tabs

Ubuntu – Upgrade to 15.04: What happened to the gnome-terminal tabs

Related Question