Dê um nome específico a uma instância da guia do terminal [duplicado]

Question

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

Sou novato e gostaria de saber como atribuir um nome específico a uma instância da guia do terminal?

Aqui uma instância da minha pergunta:

Atualmente, tenho poucos conhecimentos no sistema Ubuntu. Obrigado

    

Answer 1

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

setTitle() {
    echo -e "3]0;$@
 "3]0;$@\a"
7" 
}

Alternativamente, pode-se usar

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

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

setTitle() {
    echo -e "3]0;$@
 "3]0;$@\a"
7" 
}

O que isto faz é thatbit adiciona timestamp ao título do terminal cada vez que você propt redesenhar é chamado. Assim, cada uma das suas abas pode ter o registro de data e hora em que o último comando foi executado.

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

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