Replaces bash-ism source
for POSIX-compliant .
Change is made in order to use `/bin/sh` on systems where `/bin/sh` is not simply an alias for `/bin/bash --norc`.
This commit is contained in:
parent
aaa5c9e8a4
commit
e864d27641
@ -28,7 +28,7 @@ def _target_from_clean_env(name):
|
|||||||
# There may be other variables needed for general success.
|
# There may be other variables needed for general success.
|
||||||
output = env('USER=%s' % os.environ['USER'],
|
output = env('USER=%s' % os.environ['USER'],
|
||||||
'/bin/sh', '--noprofile', '-c',
|
'/bin/sh', '--noprofile', '-c',
|
||||||
'source /etc/profile; module list -lt',
|
'. /etc/profile; module list -lt',
|
||||||
output=str, error=str)
|
output=str, error=str)
|
||||||
default_modules = [i for i in output.splitlines()
|
default_modules = [i for i in output.splitlines()
|
||||||
if len(i.split()) == 1]
|
if len(i.split()) == 1]
|
||||||
|
Loading…
Reference in New Issue
Block a user