Eu quero explicitamente renomear uma guia no gnome-terminal na inicialização da guia. Eu não quero usar o sinalizador de gnome-terminal --title que é resetado pelo arquivo bashrc do meu sistema depois do que quer que seja executado.
Eu usei este comando com sucesso em um terminal normal
export PROMPT_COMMAND="echo -ne '3]0;TABNAMETABNAME="export PROMPT_COMMAND=\"echo -ne '3]0;TABNAMEexport PROMPT_COMMAND="echo -ne '3]0;TABNAMETABNAME="export PROMPT_COMMAND=\"echo -ne '3]0;TABNAME%pre%7'\""
gnome-terminal --tab --e "bash -c $TABNAME;bash"
7'"
7'\""
gnome-terminal --tab --e "bash -c $TABNAME;bash"
7'"
Este comando funciona bem para renomear o nome da aba atual, mas quando eu tento usá-lo em conjunto com o comando execute do gnome-terminal, eu não estou obtendo a saída apropriada.
Eu usei o sinalizador gnome-terminal --e para executar comandos simples com sucesso, algo assim abrirá um novo terminal e ecoará, em seguida, retornará ao bash
gnome-terminal -e "bash -c 'echo hey';bash"
Aqui está o que eu estou tentando anotar as marcas "" que eu adicionei
%pre%Eu sempre obtenho resultados estranhos, não importa como eu mudo as citações, mas acho que é aí que está o problema.