diff options
| author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-15 10:06:08 (GMT) |
|---|---|---|
| committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-15 10:06:23 (GMT) |
| commit | 5602b12be825b963071a2ebb1c05cf5488357bbc (patch) | |
| tree | 0119d442f680674df2cedfc46e7d025a6495682f /devbot/environ.py | |
| parent | e05bf4079ee41ec5a00b985bb2a45d4b2c32a2d5 (diff) | |
Support multiple profiles in home dir
Diffstat (limited to 'devbot/environ.py')
| -rw-r--r-- | devbot/environ.py | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/devbot/environ.py b/devbot/environ.py index 2afc49f..220b39e 100644 --- a/devbot/environ.py +++ b/devbot/environ.py @@ -65,12 +65,9 @@ def _setup_variables(): os.environ["XDG_CACHE_HOME"] = config.cache_home_dir os.environ["XDG_DATA_HOME"] = config.data_home_dir os.environ["XDG_CONFIG_HOME"] = config.config_home_dir + os.environ["SUGAR_PROFILE"] = config.get_pref("PROFILE") os.environ["CC"] = "ccache gcc" - profile = config.get_pref("PROFILE") - if profile is not None: - os.environ["SUGAR_PROFILE"] = profile - def _setup_gconf(): gconf_dir = os.path.join(config.etc_dir, "gconf") gconf_pathdir = os.path.join(gconf_dir, "2") |