As @pirmink correctly observed, the execution permission is not required, since the file is meant to be sourced. Revoking the execution permission let's users, who accidentally execute the file, fail faster.
The same idea was applied to spack's files https://github.com/spack/spack/pull/45641 and was approved.
As @pirmink correctly observed, the execution permission is not required, since the file is meant to be sourced. Revoking the execution permission let's users, who accidentally execute the file, fail faster. The same idea was applied to spack's files https://github.com/spack/spack/pull/45641 and was approved.