Muitos pacotes possuem sua documentação em html. Existe algum tipo de manutilidade infoparaencontrardocumentação html instalada localmente e trabalhar com ela?
Quero dizer, preciso de um programa que procure convenientemente arquivos de documentação HTML.E então abra-o e navegue por ele, e talvez algum mecanismo de pesquisa e cookies, por favor. Seria melhor se houvesse algum arquivo html raiz com links para toda a documentação html instalada.
Caso contrário, preciso usar findpara encontrar o arquivo e depois abri-lo no Firefox. Eu também poderia procurar onde os arquivos de documentação estão no synaptic. Mas tudo isso não é conveniente em muitos aspectos.
Claro, alguém poderia escrever alguns scripts para pesquisar a documentação, etc. Mas pensei que, como a documentação html existe para muitos pacotes (e não irá a lugar nenhum no futuro próximo), já poderia haver uma ferramenta para trabalhar com ela.
(a situação com documentos HTML é como se você tivesse apenas arquivos com páginas de manual e nenhum manutilitário)
Não pretendo abrir html em um terminal.
Responder1
Desde que você mencionou o Synaptic: o Debian coloca toda a documentação em /usr/share/doc/PACKAGE, exceto páginas de manual e manuais de informações. Além disso, o Debian fornece dois pacotes para navegar e pesquisar documentação de forma amalgamada através de um navegador web:ajuda(que não precisa de um servidor web local, mas mostra apenas documentação HTML) edwww(que requer um servidor web local, mas também pode mostrar páginas de manual e manuais informativos).
O Debian frequentemente divide pacotes em PACKAGE e PACKAGE-DOC, então a documentação para PACKAGE pode acabar em /usr/share/doc/PACKAGE-DOC.
Isso também se aplica aos derivados do Debian, incluindo Ubuntu e Mint.
Responder2
Não vejo sentido em fazer isso no terminal.
Mas elinksdeve funcionar para páginas HTML simples.
Responder3
Existem 4 visualizadores de HTML veneráveis para visualizar a documentação HTML em um terminal.
Eu uso todos eles em vários momentos, pois cada um deles possui recursos exclusivos que os outros não possuem. Suporte a cookies, CSS, etc. Todos eles podem lidar perfeitamente com HTML padrão, seja local ou via web.