search for: my_env_has_been_set

Hi, I'd like to access and modify shell environment variables before executing a command on a remote host via ssh. Unfortenatly, I can't figure out the proper way to do this... It seems, standard shell configuration files (e.g. ~/.bash_profile) are not sourced before ssh executes a command. Of course I could explicitly source them, e.g. ssh user at host 'source ~/.bash_profile;