Se você gosta de ter cópias em PDF de suas páginas de manual, aqui está uma função que adicionei ao meu .bash_profile
arquivo para criar um PDF de cada comando BSD . Verifique a página de manual para:
manp ()
{
docDir="$HOME/Documents/BSD Commands"
[[ ! -d $docDir ]] && mkdir -p "$docDir"
if [[ ! -f $docDir/$1.pdf ]]; then
man -t "$1" | pstopdf -i -o "$docDir/$1.pdf"
open "$docDir/$1.pdf"
else
open "$docDir/$1.pdf"
fi
}
Assim, no Terminal , a digitação, por exemplo, em manp bash
vez de man bash
um PDF, é criada, se ainda não o foi, e então aberta pelo aplicativo registrado para lidar com documentos PDF . O padrão é Preview , no entanto, no meu sistema, ele está configurado para usar o Skim , pois sua funcionalidade de pesquisa é melhor que o Preview e, de fato, encontrará a sequência de pesquisa quando o Preview simplesmente não.
Observe que a primeira vez que a função é usada, ela enumera algumas fontes na saída do Terminal ; no entanto, essa é uma enumeração única das fontes.
O bom das cópias em PDF é que ela mantém a formatação, como fonte em negrito e itálico, etc.
Como observação lateral, digite apenas o nome do comando no Terminal e clique com o botão direito do mouse e selecione Abrir página de manual , exibindo-o em uma janela do Terminal totalmente rolável e pesquisável , o que é muito melhor do que digitar, por exemplo man bash
.