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

Question

Usado para clicar com o botão direito do mouse na guia e alterar o título. Não sei mais como fazer isso. Acabei de atualizar para o Fedora 21.

EDIT: Eu mudei de gnome-terminal para ROXterm

    

Answer 1

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. Ele funciona com espaços no nome também

set-title my new tab title

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

    

Answer 2

O código user title 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 ex. com bash :

PROMPT_COMMAND='echo -ne "3]0;YOUR TITLE GOES HERE
printf "\e]2;YOUR TITLE GOES HERE\a"
7"'

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

    

Answer 3

Novas versões do gnome-terminal acabam de jogar fora os recursos profissionais mais úteis. : - (

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

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

• você pode abrir várias abas 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 um t i tle

Answer 4

Quando você executa um programa residente como o top ou o ssh, a guia está devidamente rotulada.

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

    

Answer 5

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

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

Eu listo isso mais uma informação sobre isso em link .

    

Answer 6

coloque isso em .bashrc:

function title() { 
  p1='echo -ne "3]0;' 
  p2='
function title() { 
  p1='echo -ne "3]0;' 
  p2='%pre%7"'
  PROMPT_COMMAND=$p1$@$p2 
  p1= 
  p2=
}
7"'
  PROMPT_COMMAND=$p1$@$p2 
  p1= 
  p2=
}

    

Answer 7

Como uma expansão para a resposta do @Weston Ganger, se você quiser definir automaticamente um título ao abrir um novo terminal Gnome, adicione-o ao final 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-title para aplicar o título.