From 5040c9d9785f0494e58f7d9051bcd6760d362323 Mon Sep 17 00:00:00 2001
From: Serge Rehbinder <serge.rehbinder@cea.fr>
Date: Thu, 2 Jun 2016 11:46:01 +0200
Subject: [PATCH] Add a default base in the default user config file

---
 commands/config.py | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/commands/config.py b/commands/config.py
index c494212..6ca161e 100644
--- 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, 
-- 
2.39.2