diff options
| author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-16 08:59:58 (GMT) |
|---|---|---|
| committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-16 08:59:58 (GMT) |
| commit | c01ef66b7db0c983a296660b9b0f631d4921b6a6 (patch) | |
| tree | 17452300c2002fbc78497c569b1d7cc68390f43b /devbot/environ.py | |
| parent | c7be363ef34d1228ad3d1d1aeba4911fbde1242f (diff) | |
Actually allow to run commands in the shell
Diffstat (limited to 'devbot/environ.py')
| -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 d18370d..d4c143c 100644 --- a/devbot/environ.py +++ b/devbot/environ.py @@ -21,6 +21,7 @@ def _add_path(name, path): def _setup_variables(): _add_path("LD_LIBRARY_PATH", config.lib_dir) _add_path("PATH", config.bin_dir) + _add_path("PATH", config.commands_dir) _add_path("GIO_EXTRA_MODULES", os.path.join(config.system_lib_dir, "gio", "modules")) |