☰

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

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

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

EDIT: mudei do gnome-terminal para o ROXterm

Responder1

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

set-title my new tab title

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

Responder2

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

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

ou por exemplo com bash:

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

Argumentos -nepara echonão adicionar um caractere de nova linha e interpretar sequências de Escape (como \033).

1: veja gnomoerro 724110e gnomobug 740188.

Responder3

Novas versões do gnome-terminal simplesmente descartaram 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 terminatorfor muito exótico para você, mate-terminalé uma ótima opção! É um fork do gnome-terminal e apenas mantém todos os bons recursos:

  • 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-eu) para definir emeutítulo

Responder4

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 e mais informações sobre isso emlink.

informação relacionada