Sim, existe um caminho. Você precisa dizer ao gnome-terminal para abrir abas com certos perfis; esses perfis devem ser configurados para iniciar um shell com os comandos desejados.
Primeiro, você precisa criar um script (ou um ícone de iniciador) que inicie gnome-terminal --tab-with-profile=Dev
. "Dev" é o nome de um perfil que você irá criar, então substitua isso com o que você quer que seja. Além disso, você pode especificar quantos --tab-with-profile
s desejar: ele abrirá uma guia para cada um.
Agora, você precisa do perfil que acabou de referenciar. Isso é criado abrindo gnome-terminal
e encontrando Edit->Profiles...
no menu. Crie um novo perfil e forneça o nome especificado na etapa anterior. Em seguida, você precisa definir suas preferências. Realce o perfil recém-criado e clique no botão Editar. Quando a caixa de diálogo Preferências de perfil estiver ativada, ative a guia "Título e comando", marque "Executar um comando personalizado ..." e, na caixa de texto associada, coloque sh -c "ENV=$HOME/.dev_profile sh"
. Claro, você pode definir ENV para qualquer caminho que desejar, desde que seja consistente na próxima etapa. Isso inicia sh e sh executará qualquer comando que esteja em $HOME/.dev_profile
Em seguida, você precisa criar esse arquivo de perfil do shell. Então edite $ HOME / .dev_profile (ou qualquer arquivo que você especificou na etapa anterior). Coloque os comandos que você quiser lá; eles serão executados quando o shell for iniciado. Trate isso como você faria um .bashrc - isso irá substituí-lo. Dependendo de como o seu .bashrc está configurado, você pode querer source $HOME/.bashrc
no perfil para copiar toda a funcionalidade do seu perfil normal.