diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-10 22:34:55 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-10 22:34:55 (GMT) |
commit | a3c3f4aec4d08d4fde6b22ec0ed81c2b98a44243 (patch) | |
tree | c0f0ed23e03eae745b281fa4025f3d00ed163903 /devbot | |
parent | d167dc41a48b1cc49c5e727d81600154e5838cad (diff) |
Set XDG_CONFIG_HOME
Diffstat (limited to 'devbot')
-rw-r--r-- | devbot/environ.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devbot/environ.py b/devbot/environ.py index b441dda..fb4ac34 100644 --- a/devbot/environ.py +++ b/devbot/environ.py @@ -61,6 +61,7 @@ def _setup_variables(): os.environ["GTK_DATA_PREFIX"] = config.prefix_dir os.environ["GTK_PATH"] = os.path.join(config.lib_dir, "gtk-2.0") os.environ["XDG_DATA_HOME"] = os.path.join(config.home_dir, "data") + os.environ["XDG_CONFIG_HOME"] = os.path.join(config.home_dir, "config") profile = config.get_pref("PROFILE") if profile is not None: |