1 diff -pruN KERNEL_orig/bin/setenv.py KERNEL/bin/setenv.py
2 --- KERNEL_orig/bin/setenv.py
3 +++ KERNEL/bin/setenv.py
6 # -----------------------------------------------------------------------------
8 +def optimize_environ():
9 + """Optimize some variables in environment variables."""
10 + for key, val in os.environ.items():
11 + if key in ['PATH', 'PYTHONPATH', 'LIB']:
13 + for f in val.split(os.pathsep):
14 + if os.path.exists(f) and f not in lst:
16 + os.environ[key] = os.pathsep.join(lst)
18 +# -----------------------------------------------------------------------------
20 def main(silent=False, exeName=None):
21 args, modules_list, modules_root_dir = get_config(silent=silent, exeName=exeName)
22 set_env(args, modules_list, modules_root_dir, silent=silent)
26 # -----------------------------------------------------------------------------