diff options
| author | Joseph Hunkeler <jhunkeler@gmail.com> | 2016-07-03 21:04:30 -0400 |
|---|---|---|
| committer | Joseph Hunkeler <jhunkeler@gmail.com> | 2016-07-03 21:04:30 -0400 |
| commit | 20f93a98df218ecf3d4dddac6c24bee9c1ba7e32 (patch) | |
| tree | 67f658115ed447789b562860d11828e88f42fe97 /steuermann/run_all.py | |
| parent | a5276b9056bedc1b78a6b809f68c9f77daf6ee3f (diff) | |
| download | steuermann-20f93a98df218ecf3d4dddac6c24bee9c1ba7e32.tar.gz | |
Parse local hosts.ini if it exists
Diffstat (limited to 'steuermann/run_all.py')
| -rw-r--r-- | steuermann/run_all.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/steuermann/run_all.py b/steuermann/run_all.py index d4c3f3d..48a5804 100644 --- a/steuermann/run_all.py +++ b/steuermann/run_all.py @@ -107,6 +107,10 @@ def main() : else : hosts_ini = os.path.join(os.path.dirname(__file__), 'hosts.ini') + # Use a user-defined config if it exists + if os.path.exists(config.hosts_config): + hosts_ini = config.hosts_config + # parse common resources from hosts INI file get_common_resources(hosts_ini) |