Como renomear o título da guia terminal no gnome-terminal?

Costumava ser capaz de clicar com o botão direito do mouse na guia e alterar o título. Não tenho mais certeza de como fazer isso. Apenas atualizado para o Fedora 21.

EDIT: Eu mudei do gnome-terminal para o ROXterm

Crie uma função em ~/.bashrc:

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

Em seguida, use seu novo comando para definir o título do terminal. Também funciona com espaços no nome

set-title my new tab title

É possível usar posteriormente set-titlenovamente (o PS1 original é preservado como ORIG).

O user titlecódigo foi removido ¹ de gnome-terminal 3.14. Para definir o título, você pode usar uma sequência de escape:

printf "\e]2;YOUR TITLE GOES HERE\a"

ou por exemplo, com bash:

PROMPT_COMMAND='echo -ne "\033]0;YOUR TITLE GOES HERE\007"'

^{1: veja o bug do gnomo 724110 e o bug do gnomo 740188 .}

Novas versões do gnome-terminal apenas jogam fora os recursos profissionais mais úteis. :-(

Eu tentei configurar e obter uma versão mais antiga do gnome-terminal rodando e também comparei alternativas.

Se terminatoré exótico demais para você, mate-terminalé uma ótima opção! É uma bifurcação do terminal gnome e mantém todas as boas características:

• você pode abrir várias guias na linha de comando, dando-lhes títulos diferentes

  mate-terminal --tab -t "aaa" --tab -t "bbb" --tab -t "ccc"
  

• você pode configurar um atalho de teclado (eu uso Ctrl + Shift i ) para definir a i TLE

Quando você executa um programa residente como top ou ssh, a guia é rotulada corretamente.

gnome-terminal --tab -e top -t "aaa" --tab -e top -t "bbb" 

Se você estiver usando o Ubuntu 16.04, pode ser necessário:

PS1=$
PROMPT_COMMAND=
echo -en "\033]0;New title\a"

Eu listo isso para mais informações sobre isso no link .

coloque isso em .bashrc:

function title() { 
  p1='echo -ne "\033]0;' 
  p2='\007"'
  PROMPT_COMMAND=$p1$@$p2 
  p1= 
  p2=
}

Como uma expansão para a resposta do @Weston Ganger, se você deseja definir automaticamente um título ao abrir um novo terminal Gnome, adicione-o na parte inferior do seu ~/.bashrc:

if [ ! -z "$SET_TITLE" ]; then
    set-title $SET_TITLE;
    export SET_TITLE=;
fi

Em seguida, inicie um terminal como:

gnome-terminal --tab -e 'bash -c "export SET_TITLE=\"my title\"; bash -i"'

e será executado automaticamente set-titlepara aplicar o título.

solução de uma linha, adicione a seguinte linha em seu arquivo .bashrc

alias tab_name='read -p "Name to Assign:" tabname ;  printf "\e]2;$tabname\a" '

Agora digite tab_name no terminal ie

user:~$ tab_name  
Name to Assign: ( type desired name here! )

Feito