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

The .bashrc solution proposed by Kirby worked for me:

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

then from my prompt: $ set-title test-title

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.}

I can't believe they removed such a user friendly feature like this one.

I'm switching to ROXTerm (http://roxterm.sourceforge.net), which does the job nicely. It's packaged in Ubuntu:

sudo apt-get install roxterm

Then, let the dinosaur continue its own way ;-)