O gnome-terminal está tão quebrado que é basicamente uma piada de mau gosto. Os perfis são difíceis ou impossíveis de gerenciar, editar ou excluir.
Se eu ignorar os recentes problemas de transparência, finalmente obtive o mate-terminal, tornando meus antigos perfis mais precisos. Aparentemente, o mate-terminal agora emprega um mecanismo de verificação de erros mais rigoroso e não trabalha mais com nomes de perfil indefinidos, por exemplo. --tab-with-profile = O padrão funciona apenas em um perfil (o primeiro). Seu próximo perfil deve ser nomeado de forma diferente (Default2 ou por exemplo "Servidores" como no meu exemplo abaixo) e deve refletir no novo perfil personalizado comando.
exemplo:
mate-terminal --tab-with-profile=Servers -t "server1" -e "ssh [email protected] -t screen -dRRS main"
--tab-with-profile=Servers -t "server2" -e "ssh [email protected] -t screen -dRRS main"
Usando definições de perfil mais precisas e comandos personalizados no terminal-mate, posso obter novamente todos os meus perfis e mais ou menos 100 Tabs em boa ordem e reconectados com um clique de um botão:)
Conseguir amar o comando tela -dRRS principal . Isso permite que você reinicie e retorne ao seu trabalho anterior com um clique. Todas as suas guias de terminal serão exatamente como você as deixou antes de serem reiniciadas, incluindo o histórico de comandos "na tela" anterior.
-Sam