Eu tenho várias janelas do terminal gnome abertas. Existe uma maneira de salvar as configurações (posição da janela, número de guias, título etc.). através de reinicializações do sistema operacional?
linux
terminal
gnome
gnome-terminal
Abhinav
fonte
fonte
Depois de configurar o seu gnome-terminal da maneira que desejar (ou seja, número de guias, aberto para determinados diretórios), salve o estado da sessão na janela do seu gnome-terminal com o seguinte comando:
Em seguida, o que faço é criar um iniciador de aplicativos personalizado no meu painel que execute o seguinte comando
fonte
Você pode criar perfis para o Gnome-Terminal a partir da
Edit Profiles
caixa de diálogo noEdit
menu. Para iniciar o Gnome-Terminal com um determinado perfil, faça o seguinte:Naturalmente, você pode configurar ícones diferentes do iniciador para iniciar automaticamente perfis diferentes ou incluir linhas em um script de inicialização da X-session para iniciar vários terminais diferentes, cada um com um perfil diferente, ao fazer login. Várias opções podem ser combinadas em um ícone do iniciador para fornecer um tipo de terminal específico e você pode criar quantos lançadores precisar de diferentes tipos de terminal.
Outras opções da linha de comando podem ser úteis para obter exatamente o efeito desejado, se o mecanismo do perfil não for suficientemente refinado para você. Veja
man gnome-terminal
em seu sistema para obter detalhes completos, mas aqui estão algumas sugestões desta discussão no fórum Ubuntu :fonte
Eu uso uma abordagem em duas etapas com o meu terminal xfce. Primeiro abro as janelas:
e mova-os com wmctrl:
fonte
Posição da janela:
fonte
O gnome-terminal --save-config e --load-config são boas opções para torná-lo à prova completa de que usei o seguinte script: o script é lento, mas funciona para mim. 1. save-terminals.sh
2. load-terminals.sh
o sono é destinado porque se ele se mover rápido, perderá a pista. Você também precisa do xdotool instalado. Crie o alias no .bashrc como
espero que ajude
fonte