Agência de criação de sites no Rio de Janeiro
Como alterar o título do terminal ?

Como alterar o título do terminal ?

Você já precisou criar uma documentação ou relatório? Apresentar os passos que te levou a uma solução? Não sei se já aconteceu com você, mas comigo eu fico meio chateado de ter que buscar em um histórico gigante por um comando ou uma saída de comando que eu dei.

Pior ainda é quando tem um monte de comandos que dou com um objetivo específico e que não fazem o menor sentido depois de algumas horas no meio de centenas de outros.

Por isso, eu além de gerar logs de todos os terminais que trabalho, gosto de criar um terminal novo para cada novo objetivo. Para isso, eu amo o Tilix.

Esse emulador de terminal te permite subdividir a tela, me deixando trabalhar de forma que eu quiser os terminais, podendo ver tudo ao mesmo tempo sem precisar ficar trocando de aba.

Mas ainda tem uma coisa… Quando tem muitos terminais, como saber com qual objetivo eu iniciei este terminal?

Eu poderia simplesmente dar um echo “objetivo” e buscar depois; Ou usar o comando export e definir o valor de uma variável com o objetivo do terminal (caso eu queira depois retornar o valor em um script, por exemplo para formatar o log , etc.).

# echo "Baixar o Tilix"
 Baixar o Tilix
# export TITLE="Baixar tilix"
# echo $TITLE
 Baixar tilix
# 

Mas achei essa solução mais legal:

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

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

Então usar o novo comando para definir o título do terminal. Funciona com nomes com espaços (” “) também.

set-title titulo nova tab

É possível usar de forma subsequente o comando set-title  (PS1 original foi preservado como ORIG).

Peguei essa dica de ouro com Weston Ganger.

Deixe uma resposta

Fechar Menu
×
×

Carrinho