I noticed that you can prevent reading /etc/profile by runningbash --noprofileHowever this also stops ~/.bash_profile from being read. Can Bash be invoked in such a way as to read ~/.bash_profile but not /etc/profile?
Read ~/.bash_profile but not /etc/profile
bash
Try the options --noprofile and --rcfile file_name where file_name is the config file you want read, e.g:bash --noprofile --rcfile ~/.bash_profileWell... somebody didn't like this answer, but it appears to be exactly what was desired:--noprofile causes all normal rc files to not be read.--rcfile <some file> causes the specified file to be read instead. This can certainly be the user's .bash_profile as requested.