Add patch_command to the tool summary

This commit is contained in:
Andrew Hamilton 2025-06-24 22:10:46 +10:00
parent a8f3261ab8
commit 906b0510bb

View file

@ -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("")