On Tue, 26 Dec 2017, Greg Wooledge wrote: > - if [ -r $i ]; then > - . $i > + if [ -r "$i" ]; then > + . "$i"
Thanks for the report. Before I just apply the patch: Is there a standard somewhere specifying what kind of filenames are allowed in /etc/profile.d?