do not create install dir for pip products installed in python, adapt archives to...

[tools/sat.git] / commands / config.py

diff --git a/commands/config.py b/commands/config.py
index 3d44311fe9fd7de6ae697765cd34d0f411cdd393..8e34e6d5ae269a0a706f9c7f428adef04711e74a 100644 (file)
--- a/commands/config.py
+++ b/commands/config.py
@@ -576,15 +576,6 @@ class ConfigManager:
                                  'evince', 
                                  "This is the pdf_viewer used "
                                  "to read pdf documentation\n")
-# CNC 25/10/17 : plus nécessaire a priori
-#        user_cfg.USER.addMapping("base",
-#                                 src.pyconf.Reference(
-#                                            user_cfg,
-#                                            src.pyconf.DOLLAR,
-#                                            'workdir  + $VARS.sep + "BASE"'),
-#                                 "The products installation base (could be "
-#                                 "ignored if this key exists in the local.pyconf"
-#                                 " file of salomTools).\n")
 
         src.ensure_path_exists(config.VARS.personalDir)
         src.ensure_path_exists( osJoin(config.VARS.personalDir,