Não é mais possível definir o título do terminal no Ubuntu 16 (gnome-terminal) [duplicado]

Question

No Ubuntu 14.10 LTS, eu consegui definir o título de uma guia de terminal simplesmente clicando com o botão direito do mouse e escolhendo Set Title . Isso estava usando o aplicativo de terminal padrão, gnome-terminal .

No Ubuntu 16.04 LTS, não consigo mais definir o título, e o aplicativo do terminal ainda é gnome-terminal . A opção Set Title não está mais no menu.

Esse recurso foi removido em algum momento entre 14.10 e 16.04? Como posso definir o título de um terminal no Ubuntu 16.04?

    

Answer 1

A opção para definir o título do terminal foi preterida em 16.04 LTS, no entanto, ainda há uma maneira de definir o título. Edite seu arquivo ~/.bashrc e adicione as seguintes linhas:

# function to set terminal title
function set-title(){
  if [[ -z "$ORIG" ]]; then
    ORIG=$PS1
  fi
  TITLE="\[\e]2;$*\a\]"
  PS1=${ORIG}${TITLE}
}

Depois disso feche e reabra o terminal ou fonte seu .bashrc (comando: source ~/.bashrc ) e você pode definir o título simplesmente digitando:

set-title "<title>"

A solução que encontrei aqui e usá-la desde que corri em 16.04 LTS.