From 1d8d497fffe4083f8f3709499f56291962703548 Mon Sep 17 00:00:00 2001 From: Andrew Hamilton Date: Sun, 5 Dec 2021 19:27:46 +1000 Subject: [PATCH] tools: Emphasise the command over the home page. --- eris/eris/__main__.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/eris/eris/__main__.py b/eris/eris/__main__.py index 3333562..37688a9 100755 --- a/eris/eris/__main__.py +++ b/eris/eris/__main__.py @@ -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()