Где я могу найти документацию для readline?

read встроенная команда имеет -e опция

-e  Use Readline to handle input. This permits input editing in the same
    manner as the command line.

Что Readline в спецификации:

$ man readline
No manual entry for readline
$ man Readline
No manual entry for Readline

Нет никаких деталей readline.

7
задан 14 April 2018 в 06:25

4 ответа

Посмотрите man bash, который имеет весь раздел по Readline:

READLINE
   This  is  the  library  that  handles  reading  input  when  using   an
   interactive  shell,  unless  the  --noediting  option is given at shell
   invocation.  Line editing is also used when using the -e option to  the
   read  builtin.

Readline GNU является библиотекой, это разрабатывается вместе с ударом, но используется многими другими программами для обеспечения лучше интерактивного использования командной строки (например, цикл Python REPL). Это может быть настроено с помощью ~/.inputrc или /etc/inputrc. Дополнительную информацию см. в readline сайте.

10
ответ дан 23 November 2019 в 06:16

Используйте info rluserman для полного руководства с интерактивными ссылками.

Нажмите H, и в нижней половине экрана отобразится список команд, которые вы можете использовать, чтобы найти то, что вам нужно. Такие, как [ и ], чтобы пройти через узлы в rluserman. Или попробуйте найти что-то конкретное, запустив поиск, например:

Предположим, вы искали vi-editing-mode;

  1. нажмите /, чтобы начать поиск.
  2. введите ваш запрос, например, vi, и подтвердите, нажав Enter
  3. , используйте { и }, чтобы переходить туда-сюда через вхождения в руководстве.

(PS. vi\W', было бы лучше, потому что это исключило бы хиты типа 'pro vi ded')

1
ответ дан 23 November 2019 в 06:16

Использовать man 3 readline для страницы справочника для Readline.

1
ответ дан 23 November 2019 в 06:16

Для перехода непосредственно к разделу READLINE страницы справочника удара я определяю следующий псевдоним в моем $HOME/.bash_aliases файл.

alias man-readline="man -P 'less -p ^READLINE' bash"
2
ответ дан 23 November 2019 в 06:16

Другие вопросы по тегам:

Похожие вопросы: