Is it possible to "bring with you" a copy of bash_profile from the source machine when doing an ssh to remote? And maybe even automatically source it right after login? If so, how can I do this? I can probably imagine some really elaborate shell hack (unless this is somehow restricted due to security concerns), but maybe there's a nice and clean way.