[ПРИМЕЧАНИЕ: в следующем я вызвал файл инициализации пользовательской оболочки .devrc, а не .dev_profile, чтобы сохранить различие между инициализацией логина и без входа.]
Примечание также что этот ответ предполагает, что то, что вы действительно хотите сделать, это создать настраиваемую среду, а не выполнять пользовательскую команду.
. Один из способов сделать это - создать пользовательский файл инициализации (.devrc, скажем), который выдает стандартные файлы, а затем добавляет ваши настройки, например:
$ 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
Затем в вашем профиле gnome-terminal вы можете настроить Custom Command для использования альтернативного файла rc [ ! d7]
/bin/bash --rcfile "/home/steeldriver/.devrc"