diff options
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) |