On Thu, Mar 01, 2012 at 11:12:36AM +0100, Remco Rijnders wrote: > Looking at a recent bugreport [1] I see that /etc/profile sources > everything under /etc/profile.d/*.sh no matter what shell is being > used. In this case this resulted in a small annoyance for the user > as one of the scripts under there uses a bashishm that's not > supported in all shells we ship.
Those scripts should only use "sh" compatible things. Relying on bash features is a bug (extension is .sh, not .bash). -- Regards, Olav
