Onde posso encontrar documentação para readline?

7

O comando read builtin possui -e option

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

O que é Readline na especificação:

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

Não há detalhes de readline.

    
por JawSaw 14.04.2018 / 07:38

4 respostas

10

Veja man bash , que tem uma seção inteira sobre 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.

GNU Readline é uma biblioteca que é desenvolvida junto com o bash, mas é usada por vários outros programas para fornecer um melhor uso interativo da linha de comando (por exemplo, o loop REPL do Python). Pode ser configurado usando ~/.inputrc ou /etc/inputrc . Consulte o site readline para obter mais detalhes.

    
por muru 14.04.2018 / 08:40
2

Para pular diretamente para a seção READLINE da página man bash, eu defino o seguinte alias no meu arquivo $HOME/.bash_aliases .

alias man-readline="man -P 'less -p ^READLINE' bash"
    
por trellem 30.10.2018 / 19:56
1

Use man 3 readline para a página man do Readline.

    
por Eranda Peiris 14.04.2018 / 07:44
0

Use info rluserman para o manual completo, com links interativos.

Atingir H e a metade inferior da tela exibirá uma lista de comandos que você pode usar para encontrar o que precisa. Como [ e ] para percorrer os nós em rluserman . Ou tente encontrar algo específico iniciando uma pesquisa, por exemplo:

Suponha que você esteja procurando pelo vi-editing-mode ;

  1. pressione / para iniciar uma pesquisa
  2. digite sua consulta, por exemplo vi e confirme atingindo Enter
  3. use { e } para ir e voltar pelas ocorrências no manual.

(PS. vi\W' , seria melhor porque isso excluiria hits como 'pro vi ded')

    
por pm-b 07.05.2018 / 16:21