Dê um nome específico para uma instância da guia do terminal

Question

Editar: outra resposta falou sobre mudar o título do terminal, não uma aba, mas efetivamente eles respondem à minha pergunta também. Tudo é bom.

Sou um novato e me pergunto como dar um nome específico a uma instância de guia de terminal?

Aqui um exemplo da minha pergunta:

Atualmente tenho pouco conhecimento no sistema Ubuntu. Obrigado

Answer 1

Eu escrevi uma função para isso uma vez.

setTitle() {
    echo -e "\033]0;$@\007" 
}

Alternativamente, pode-se usar

 "\033]0;$@\a"

Usando isso em conjunto com a variável PROMPT_COMMAND ~/.bashrcou a variável PS1, você pode fazer algo assim:

PS1="$PS1$(setTitle $(date) )"

O que isso faz é que o bit adiciona carimbo de data / hora ao título do terminal cada vez que você propõe que o redesenho seja chamado. Assim, cada uma de suas guias pode ter um carimbo de data e hora em que o último comando foi executado.

A partir daí, você pode adicionar outras formas de comandos em $()vez de date. Ou faça com que ele seja chamado ~/.bashrcuma vez no final do arquivo para ter apenas um prompt inalterado durante a sessão, mas exclusivo para cada guia.

Veja também: Como alterar o título da guia atual do terminal usando apenas a linha de comando