ahamilton/eris
1
0
Fork 0
Code Releases Activity

Fix incorrect extension when listing tools

Browse source
This commit is contained in:
Andrew Hamilton 2025-06-14 11:29:15 +10:00
parent 403e056802
commit 99ed8efc43
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
eris/__main__.py
View file

@ -1129,12 +1129,12 @@ def print_tool_info():
for tool in sorted(tools.tools_all(), key=lambda t: t.__name__): for tool in sorted(tools.tools_all(), key=lambda t: t.__name__):
print(termstr.TermStr(tool.__name__, is_bold=True) if tools.is_tool_available(tool) print(termstr.TermStr(tool.__name__, is_bold=True) if tools.is_tool_available(tool)
else termstr.TermStr(tool.__name__, fg_color=termstr.Color.red) + " (not available)") else termstr.TermStr(tool.__name__, fg_color=termstr.Color.red) + " (not available)")
extensions = list(extensions_for_tool.get(tool, {"*"}))
if hasattr(tool, "command"): if hasattr(tool, "command"):
print(f"command: {tool.command} foo.{extensions[0]}") print(f"command: {tool.command} foo.{extensions[0]}")
else: else:
print("function:", "eris.tools." + tool.__name__) print("function:", "eris.tools." + tool.__name__)
print("url:", tool.url) print("url:", tool.url)
extensions = list(extensions_for_tool.get(tool, {"*"}))
print("extensions:", ", ".join(extensions)) print("extensions:", ", ".join(extensions))
print("") print("")