gnome-terminal title aparece e desaparece via bash

Question

Meu script bash funciona bem e também define o bloco do meu terminal. No entanto, os títulos desaparecem quando todos os comandos são executados. Heres por script.

#!/bin/sh
gnome-terminal  --tab -t 'My Title' -e '/bin/bash -c "cd /home/user/MY_FOLDER; ssh [email protected] -i my_pem_file.pem;bash" '

Qualquer sugestão, por favor

    

Answer 1

/etc/profile sources /etc/profile.d/vte-2.91.sh , que por sua vez configura seu $PROMPT_COMMAND para imprimir duas coisas: defina o título (inlined in __vte_prompt_command ) e defina o conceito do diretório de trabalho atual, para poder abra um novo terminal lá (de __vte_prompt_command é o último %s na string de formato, e a chamada correspondente para __vte_osc7 ).

O que eu faço para me livrar do primeiro, mas manter o segundo, é que no meu ~/.bashrc eu tenho esse trecho:

. /etc/profile.d/vte-2.91.sh
if [ -n "$PROMPT_COMMAND" ]; then
    PROMPT_COMMAND='__vte_osc7'
fi

(Provavelmente seria melhor colocá-lo em ~/.profile , e provavelmente você poderia omitir a primeira linha, assim como o if guard. Até você para experimentar isso.)

Observação: esse design geral é uma droga e temos um bug para limpar isso: link