Hey.

Shouldn't /etc/profile.d/gawk.* check whther the shell is interactive
and return if not?

It's probably not that important, because they usually won't be sourced
for shell scripts anyway,... but in the unusual case that someone invokes
a shell script like:

# sh -l foo.sh

they'd actually get sourced.


Cheers,
Chris.