From 906b0510bb077187a438c041224a18db8c384b36 Mon Sep 17 00:00:00 2001 From: Andrew Hamilton Date: Tue, 24 Jun 2025 22:10:46 +1000 Subject: [PATCH] Add patch_command to the tool summary --- eris/__main__.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/eris/__main__.py b/eris/__main__.py index 8332567..0474f98 100755 --- a/eris/__main__.py +++ b/eris/__main__.py @@ -1144,6 +1144,8 @@ def print_tool_info(): print(f"command: {tool.command} foo.{extensions[0]}") else: print("function:", "eris.tools." + tool.__name__) + if hasattr(tool, "patch_command") and tool.patch_command is not None: + print(f"patch command: {tool.patch_command} foo.{extensions[0]}") print("url:", tool.url) print("extensions:", ", ".join(extensions)) print("")