Que tipo de arquivo pertence o / etc / inputrc?

2

Parece que o arquivo /etc/inputrc está de acordo com a sintaxe do script de shell. Mas o nome do arquivo não termina com .sh . A primeira linha do arquivo também não possui #! .

É outro tipo de arquivo?

E esse tipo de arquivo vai em paralelo com o .sh ?

Funciona como um script de shell?

Tem uma convenção de nomenclatura como o sufixo .sh ?

    
por user43312 18.07.2013 / 12:38

2 respostas

11

/etc/inputrc é o arquivo de configuração do sistema para o GNU readline, uma biblioteca que implementa um editor de linha usado por muitos aplicativos como gdb , python , GNU bc ...

Você pode encontrar documentação sobre isso na página readline(3) man ou no GNU oficial documentação readline online .

readline está sendo mantido pela mesma pessoa (Chet Ramey) como bash . bash e readline desenvolvimento estão intimamente ligados. No entanto, observe que é uma versão modificada de readline que bash usa (mas ainda lê /etc/inputrc e ~/.inputrc ), pois a biblioteca genérica readline não pode atender a todas as necessidades de bash . / p>

/etc/inputrc é apenas um arquivo de configuração. O nome não implica o conteúdo ou o formato. Outros nomes de arquivos de configuração seguem o mesmo padrão como netrc , screenrc , wgetrc ... e o significado original de rc ( comandos de execução ) não realmente aplicar lá também. rc nesses casos deve ser visto como o mesmo que .conf ou .cfg . Esses arquivos em /etc que têm um sufixo rc geralmente têm um pendente como um arquivo de ponto no diretório base do usuário (como ~/.bashrc , ~/.inputrc , ~/.screenrc ). Veja também a página da Wikipedia para mais informações.

    
por 18.07.2013 / 13:30
1

O arquivo inputrc manipula o mapeamento de teclado para situações específicas. Este arquivo é o arquivo de inicialização usado pela Readline - a biblioteca relacionada à entrada - usada pelo Bash e pela maioria dos outros shells.

Encontrado aqui

    
por 18.07.2013 / 12:59