Use internals bash:
PS1="3]0;New Title PS1="3]0;New Title%pre%7"$PS1
7"$PS1
Eu fiz o upgrade para o Linux Mint 18; tudo ocorreu bem. Não sei se foi feito intencionalmente assim ou não, mas a opção Terminal -> Set Title não está mais lá e o atalho não está mais disponível. Por que essa alteração foi feita e como corrigi-lo? Eu preciso definir o título do terminal, porque ele me ajuda a navegar entre as guias rapidamente.
Use internals bash:
PS1="3]0;New Title PS1="3]0;New Title%pre%7"$PS1
7"$PS1
Tags menu gnome-terminal linux-mint