Carregue a configuração do terminal com meus títulos

1

Eu usei instrução para personalizar meu perfil de terminal. Títulos de terminal renomeados. Salvei terminais com:

gnome-terminal --save-config=/tmp/term-cfg

Eu restaurei os terminais com:

gnome-terminal --load-config=/tmp/term-cfg

Todos os meus títulos foram substituídos pelo caminho completo do diretório. Então instrução não me ajudou com a economia de títulos. Posso fazer algo para salvar \ restaurar títulos de guias?

    
por Sergii 15.07.2016 / 15:59

1 resposta

0

Parece que não consigo encontrar o comando correspondente para resolver o problema.

Então criei o script recomendado . Este script tem alguns problemas, mas é melhor que nada. Antes de usar script eu preciso instalar o xdotool com o comando.

apt-get install xdotool

para restaurar o terminal salvo que eu uso:

gnome-terminal --load-config='my path to script'

Mas, de qualquer maneira, espero que alguém conheça uma solução melhor ... esperando por uma.

Atualize a resposta

A primeira solução funciona sem ferramentas e scripts adicionais em alguns casos: title não deve conter alguns símbolos de serviço como /

    
por 15.07.2016 / 17:15