Se ti piace avere copie PDF delle tue pagine di manuale, ecco una funzione che ho aggiunto al mio .bash_profile
file per creare un PDF di ogni comando BSD che controllerei la pagina di 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, in Terminale , la digitazione, ad esempio, manp bash
anziché man bash
un PDF viene creata, se non è già stata, e quindi aperta dall'app registrata per gestire i documenti PDF . L' impostazione predefinita è Anteprima , tuttavia sul mio sistema è impostato per utilizzare Skim , poiché la sua funzionalità di ricerca è migliore di Anteprima e, di fatto, troverà la stringa di ricerca quando Anteprima non lo farà.
Si noti che la prima volta che si utilizza 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, ovvero grassetto e corsivo, ecc.
Come nota a margine, digitando solo il nome del comando in Terminale, quindi fare clic con il pulsante destro del mouse su di esso e selezionare Apri man page , lo visualizza in una finestra Terminale completamente scorrevole e ricercabile , che è molto meglio di digitare ad es man bash
.