Salome HOME
projects
/
tools
/
sat.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
d10e050
)
gestion de path multiples dans la configuration projet
author
CROUZET Nicolas
<crouzet@is232972.intra.cea.fr>
Thu, 26 Aug 2021 14:39:49 +0000
(16:39 +0200)
committer
CROUZET Nicolas
<crouzet@is232972.intra.cea.fr>
Thu, 26 Aug 2021 14:39:49 +0000
(16:39 +0200)
commands/config.py
patch
|
blob
|
history
diff --git
a/commands/config.py
b/commands/config.py
index e855c5765068683ac52dce3b1317eca1f6e9a7b9..95a28c0021a1068e8d80caa0cd8f9a6646f0cb10 100644
(file)
--- a/
commands/config.py
+++ b/
commands/config.py
@@
-407,7
+407,9
@@
class ConfigManager:
"LICENCEPATH"]:
if PATH not in cfg.PROJECTS.projects[project]:
continue
- cfg.PATHS[PATH].append(cfg.PROJECTS.projects[project][PATH], "")
+ pathlist=cfg.PROJECTS.projects[project][PATH].split(":")
+ for path in pathlist:
+ cfg.PATHS[PATH].append(path, "")
# apply overwrite from command line if needed
for rule in self.get_command_line_overrides(options, ["PATHS"]):