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

70

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

penner
fonte

Respostas:

108

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).

Weston Ganger
fonte
32

O user titlecódigo foi removido 1 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 .

don_crissti
fonte
9
Obrigado por um link para as discussões. Eu acho que a resposta para isso foi NÃO. Uma citação engraçada de um dos links: "usuários modernos não usam terminais". RI MUITO.
Penner
Isso não funciona para mim: Fedora 21, Bash 3.14.3.
Kdbanman # 8/15
Ele funciona em fc22 também ..
Balaji Perumal
3
Aparentemente, está voltando ... "Sim, desculpe, a opção --title foi restaurada no GNOME 3.20 (versão de março de 2016), lançada há meio ano, mas o Ubuntu 16.04 foi lançado com o GNOME 3.18 (versão de setembro de 2015), que removeu esta opção ". De Michael Catanzaro 2016/09/01 18:41:45 UTC comentário # 31 (de segunda bug, 740188)
sage
11
@ sábio - não há recurso, o comentário de Michael existe sobre a --titleopção que posso confirmar que foi realmente restaurada. No entanto, o Q aqui é sobre a opção do botão direito para renomear a guia aberta no momento - uma questão diferente ...
don_crissti
18

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

geekQ
fonte
Guake também não é uma má variante
Bunyk
1

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" 
fastrizwaan
fonte
1

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 .

Zach Pfeffer
fonte
0

coloque isso em .bashrc:

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

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.

Cerin
fonte
0

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

Sufyan
fonte