[NOTE: in the following, I've called the custom shell initialization file
.devrc rather than
.dev_profile to preserve the distinction between login and non-login shell initialization.]
Note also that this answer assumes that what you really want to do is source a custom environment rather than run a custom command.
One way to do this would be to create a custom initialization file (
.devrc, say) that sources the standard files and then adds your customizations e.g.:
$ cat ~/.devrc
# Custom .bashrc for develeopment terminal profile
if [ -r "/etc/bash.bashrc" ]; then
if [ -r "$HOME/.bashrc" ]; then
# add your dev-specific stuff here
Then in your gnome-terminal profile, you can set the Custom Command to use the alternate rc file
/bin/bash --rcfile "/home/steeldriver/.devrc"