Один заголовок в выводе справки JLine 3 - PullRequest
0 голосов
/ 16 июня 2020

Как настроить команду справки в JLine 3? Справка в моем примере оболочки JLine 3 отображается как:

manager> help
  System:
    exit   exit from app/script
    help   command help
  Builtins:
  ShellCommandRegistry:
    create Create some stuff with minimal fuss...
    delete Deletes some stuff with minimal fuss...
    list   List some stuff with minimal fuss...

Я хотел бы заменить заголовки разделов («System:», «Builtins:» и «ShellCommandRegistry: ") с одним заголовком" Commands: ", например:

manager> help
  Commands:
    exit   exit from app/script
    help   command help
    create Create some stuff with minimal fuss...
    delete Deletes some stuff with minimal fuss...
    list   List some stuff with minimal fuss...

Есть идеи, как управлять этим в JLine 3?

1 Ответ

0 голосов
/ 17 июня 2020

В настоящее время невозможно настроить группировку команд.

Будет исправлено в следующей версии JLine (> 3.15.0):
Добавлены параметры команды справки: --nogroups (--groups) и --info.
Поведение группировки по умолчанию можно контролировать установив

systemRegistry.setGroupCommandsInHelp(true/false)

.

groovy-repl> help --help
help -  command help
Usage: help [TOPIC...]
  -? --help                      Displays command help
     --nogroups                  Commands are not grouped by registeries
  -i --info                      List commands with a short command infos
groovy-repl> 
...