From 6b9dddcbd269653a4486ccabdd9930c7eb18f78e Mon Sep 17 00:00:00 2001 From: Andrew Hamilton Date: Thu, 28 Nov 2019 23:27:10 +1000 Subject: [PATCH] tools: Only run tools on files with the right type. --- eris/tools.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/eris/tools.py b/eris/tools.py index 2a42264..dd89fac 100755 --- a/eris/tools.py +++ b/eris/tools.py @@ -738,6 +738,8 @@ def url_of_tool(tool): if __name__ == "__main__": tool_name, path = sys.argv[1:3] tool = locals()[tool_name] + valid_tools = tools_for_path(path) + assert tool in valid_tools, valid_tools status, text = run_tool_no_error(path, tool) print(text) sys.exit(0 if status in [Status.ok, Status.normal] else 1)