On Thu, Apr 30, 2015 at 05:07:15PM -0400, Chet Ramey wrote: > On 4/30/15 2:37 PM, Trammell Hudson wrote: > That function is only executed if you have BASH_ENV or ENV set, and neither > of those should be subject to the setting of --noprofile. I suspect you > have BASH_ENV=/etc/profile in your environment since you're invoking bash > as `bash'.
Oops. Yes, that is the case -- I'm not sure where it is being configured in my environment, but it is definitely set. -- Trammell