This file is indexed.

/etc/profile.d/modules.sh is in environment-modules 3.2.10-10.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
#----------------------------------------------------------------------#
# system-wide profile.modules                                          #
# Initialize modules for all sh-derivative shells                      #
#----------------------------------------------------------------------#
trap "" 1 2 3

case "$0" in
    -bash|bash|*/bash) . /usr/share/modules/init/bash ;; 
       -ksh|ksh|*/ksh) . /usr/share/modules/init/ksh ;; 
       -zsh|zsh|*/zsh) . /usr/share/modules/init/zsh ;; 
          -sh|sh|*/sh) . /usr/share/modules/init/sh ;; 
                    *) . /usr/share/modules/init/sh ;;  # default for scripts
esac

trap - 1 2 3