Gnome-terminal indeed removed this feature from the UI. You can still set the title via escape sequences. E.g. define this function in your .bashrc:
title () { echo -n $'\e]0;'"$@"$'\a' }
and then change the title with the command:
$ title This is my new title
Gnome-terminal indeed removed this feature from the UI. You can still set the title via escape sequences. E.g. define this function in your .bashrc:
title () {
echo -n $'\e]0;'"$@"$'\a'
}
and then change the title with the command:
$ title This is my new title