Se desideri avere PDF copie delle pagine del manuale, ecco una funzione che ho aggiunto al mio file .bash_profile
per creare un PDF di ogni comando BSD controllerei la pagina manuale per:
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
}
Quindi, nel Terminale , digitando per es. manp bash
invece di man bash
un PDF viene creato, se non è già stato, e poi aperto dall'app registrata per gestire i documenti PDF . predefinito è Anteprima , tuttavia sul mio sistema è impostato per utilizzare Skim , poiché la sua funzionalità di ricerca è migliore di Anteprima e in effetti troverà la stringa di ricerca quando Anteprima non lo sarà.
Si noti che la prima volta che viene utilizzata la funzione enumera alcuni caratteri nell'output in Terminale , tuttavia questa è un'enumerazione una tantum dei caratteri.
La cosa bella delle copie PDF è che mantiene la formattazione, cioè caratteri in grassetto e corsivo, ecc.
Come nota a margine, digita solo il nome comando in Terminale e poi fai clic con il pulsante destro del mouse su di esso e seleziona Apri uomo Pagina , la visualizza in una finestra Terminale completamente scorrevole e ricercabile, che è molto meglio che digitare ad es. man bash
.