Add a default base in the default user config file

diff --git a/commands/config.py b/commands/config.py
index c4942122c99b9d65419ddb6eb2683b164e1cce5a..6ca161eeeef3b1ba107e9133206af1b65c3bbc21 100644 (file)
--- a/commands/config.py
+++ b/commands/config.py
@@ -385,6 +385,14 @@ class ConfigManager:
                                  'evince', 
                                  "This is the pdf_viewer used "
                                  "to read pdf documentation\n")
+        user_cfg.USER.addMapping("bases",
+                                 src.pyconf.Mapping(user_cfg.USER),
+                                 "The products installation base(s)\n")
+        
+        user_cfg.USER.bases.base = src.pyconf.Reference(
+                                            user_cfg,
+                                            src.pyconf.DOLLAR,
+                                            'workdir  + $VARS.sep + "BASE"')
         # 
         src.ensure_path_exists(config.VARS.personalDir)
         src.ensure_path_exists(os.path.join(config.VARS.personalDir,