ahamilton/eris
1
0
Fork 0
Code Releases Activity

tools: Emphasise the command over the home page.

Browse source
This commit is contained in:
Andrew Hamilton 2021-12-05 19:27:46 +10:00
parent 0331a9da1e
commit 1d8d497fff
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
eris/eris/__main__.py
View file

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