O comando man bash
produz muita saída. O que eu desejo seria pesquisar os resultados ou imprimir os resultados em papel. Então, existe uma maneira de converter uma página man para um documento html e / ou pdf.
Eu preferiria o trabalho de resposta não só man bash
, mas sim para qualquer página de homem.
Eu conheço a saída de man bash
foi postado na internet, mas geralmente esses posts não estão atualizados.
ps2pdf
comando? O comando está escondido em algum lugar?man -t ls | open -f -a Preview
e, em seguida, salve como PDF a partir da visualização. Caso contrário, o ps2pdf vem como parte do pacote Ghostscript que, acredito, é mais facilmente instalado via Homebrew.Respostas:
Sim, existem inúmeras ferramentas para converter páginas de manual para HTML e PDF.
Abordagem UNIX
Convertendo uma página man em HTML, PDF e texto fornece instruções detalhadas para o macOS:
Se o arquivo terminar em
.gz
, então substitua o seguinte.Para converter de HTML para PDF:
Para outras cadeias de ferramentas, veja estas questões relacionadas:
pandoc
Outra abordagem é usar o popular ferramenta pandoc . Essa ferramenta pode converter páginas de manual em uma ampla variedade de formatos.
Ligação
x-man-page
O terminal.app do macOS oferece
x-man-page
Esquema de URL para imprimir páginas de manual. Tente abrir o link abaixo para ver ols
página man:fonte
man
não suporta o-T
opção diretamente?groff
você pode apenas fazerman -Tpdf osascript > osascript.pdf
.Aqui está um função Eu adicionei ao meu
.bash_profile
arquivo para criar um PDF De cada BSD comando Eu verificaria o página de manual para:Então, em terminal , digitando, e.
manp bash
ao invés deman bash
uma PDF é criado, se já não foi, e depois aberto pelo aplicativo registrado para manipular PDF documentos. o padrão é Visualizar , no entanto, no meu sistema está configurado para usar Desnatar , como sua funcionalidade de pesquisa é melhor do que Visualizar e, de fato, encontrará a string de pesquisa quando Visualizar só não vai.Note que a primeira vez que o função é usado ele irá enumerar algumas fontes na saída em terminal , no entanto, isso é uma enumeração de uma vez das fontes.
Como uma nota lateral, digitando apenas o comando nome em terminal e depois clique com o botão direito nele e selecione Homem aberto Página , exibe-o de forma totalmente rolável e pesquisável terminal janela, que é muito melhor, em seguida, digitando, e.
man bash
.fonte
Onde
yourcommand
é o que você quer a página do homem de.fonte