Executando um comando personalizado em um perfil 'gnome-terminal'

Question

Eu criei um perfil gnome-terminal personalizado no Ubuntu 16.04 para configurar um ambiente de desenvolvimento específico. No entanto, não consigo descobrir o que inserir como o perfil custom command .

O que eu quero que meu novo perfil de terminal faça:

1. Execute os scripts padrão que o terminal padrão geralmente executa ( .bashrc etc)
2. Executar um script personalizado (por exemplo, $HOME/.dev_profile )

Qual deve ser meu comando personalizado?

    

Answer 1

[ OBSERVAÇÃO: a seguir, chamei o arquivo de inicialização de shell personalizado .devrc em vez de .dev_profile para preservar a distinção entre inicialização de shell de login e não-login. ]

Note também que esta resposta assume que o que você realmente quer fazer é criar um ambiente personalizado em vez de executar um comando personalizado .

Uma maneira de fazer isso seria criar um arquivo de inicialização personalizado ( .devrc , digamos) que origine os arquivos padrão e adicione suas personalizações, por exemplo:

$ cat ~/.devrc
#
# Custom .bashrc for develeopment terminal profile
# 
if [ -r "/etc/bash.bashrc" ]; then
    . "/etc/bash.bashrc"
fi

if [ -r "$HOME/.bashrc" ]; then
    . "$HOME/.bashrc"
fi

# add your dev-specific stuff here
export myvar1=foo
export myvar2=bar

Em seguida, no seu perfil do gnome-terminal, você pode definir o Custom Command para usar o arquivo rc alternativo

/bin/bash --rcfile "/home/steeldriver/.devrc"

    

Answer 2

Você pode simplesmente criar um arquivo .desktop para abrir um terminal com o perfil desejado e executar um script dentro desse terminal.

O arquivo .desktop :

[Desktop Entry]
Encoding=UTF-8
Name=Edit to add name
Exec=gnome-terminal -e --window-with-profile=PROFILENAME "source $HOME/.dev_profile"
Terminal=true
Type=Application
NoDisplay=true

Observe que você pode definir nas configurações de perfil se deseja que o terminal aberto permaneça aberto ou não, após o script ter sido concluído.