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

gnome-terminal

— penner
fonte

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 ¹ 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