On Mon, Aug 07, 2017 at 12:55:37PM -0400, Felix Miata wrote:
> Garrett R. composed on 2017-08-07 15:25 (UTC):
>
> > Please advise on where "/etc/profile.local" is. I can find no such entry.
>
> Like any .local file, it's an optional file. Any .local files that may exist
> by
> default have uncommented content only if the /local/ admin creates any.
There is nothing in Debian's /etc/profile which reads such a file.
Debian's /etc/profile does, however, dot in all the files in
/etc/profile.d/. No, wait. Not all the files. Just all the files
that end with a .sh suffix. And you'd better not put spaces in the
filenames either, because there's a blatant bug right here:
for i in /etc/profile.d/*.sh; do
if [ -r $i ]; then
. $i
fi
done
I don't expect anything better; that would be foolish optimism in
violation of decades of historical precedent.
