Como alterar o título do terminal no Ubuntu 16.04

Question

Quando eu estava usando o Ubuntu 14.04, é fácil definir o título. Basta pressionar F2 ou mover o mouse para o menu superior. Mas não há menu no ubuntu 16.04 e pressione F2 não pode mudar o título. O que devo fazer?

    

Answer 1

Muitos programas sobrescrevem o título, então você não pode confiar em que o título seja corrigido ou não seja duplicado por outras janelas. Isso é especialmente verdade com sessões ssh remotas em um terminal gnome. Ele ainda ajuda bastante, mas não é suficientemente confiável para os gerentes de janela fazerem uma correspondência (e é por isso que eu acho que eles o removeram. (Adição de Amias Channer)), então essa habilidade foi removida com o mais recente gnome-terminal ainda é uma possibilidade de mudar o título, você pode fazê-lo por comando. Para conseguir isso, edite facilmente o 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}"
}

Com isso, você pode definir o título da sua janela de terminal simplesmente usando o comando set-title <name you want to set it to> . Isso é possível devido aos códigos de escape ANSI, portanto, qualquer programa pode gerá-los, independentemente de onde o código é executado. Isso é o que o \ ee \ a bits fazem. (adição por Amias Channer).

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

    

Answer 2

A solução do Videonauth é bash-específica, o que significa que se você usar algum outro shell (como shell korn ou shell c ou mksh ou tcsh), não funcionará. Ele também define o título por meio da edição do prompt PS1 (que, por algum motivo, afeta o título em bash ). Aqui está, por exemplo, o terminal gnome com mksh:

Oqueeupessoalmenteusoéisto:

setTitle(){echo-e"3]0;$@
setTitle() {
    echo -e "3]0;$@%pre%7" 
}
7" 
}

Este comando usa seqüências de escape e é agnóstico de shell, o que significa que isso funciona em shells diferentes de bash. Pequena desvantagem é que você precisará saber seqüências de escape ASCII se você quiser ajustar isso.