Skip to content

Support feature for user_bash_env configuration

Paul Bryant requested to merge env-variable-cfg into develop

The user_bash_env is meant to help offer a mechanism to admins to influence the user's shell being used to run job script/commands. By default the creation is simply /usr/bin/env -i HOME=$HOME /bin/bash --login. Via this configuration can you supply custom key=value pairs to include, for example:

[general]
user_bash_env = ["LMOD_ADMIN_FILE=none"]

This would result in a command: /usr/bin/env -i HOME=$HOME LMOD_ADMIN_FILE=none /bin/bash --login. This specific example is useful in cases where you wish to limit LMOD output during the CI job.

Merge request reports