Jika Anda ingin memiliki salinan PDF dari halaman manual Anda, berikut adalah fungsi yang saya tambahkan ke .bash_profile
file saya untuk membuat PDF dari setiap perintah BSD. Saya akan memeriksa halaman manual untuk:
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
}
Jadi, di Terminal , mengetik misalnya manp bash
bukan man bash
sebuah PDF akan dibuat, jika belum sudah, dan kemudian dibuka oleh aplikasi yang terdaftar untuk menangani PDF dokumen. The standar adalah Preview , namun pada sistem saya itu diatur untuk menggunakan Skim , sebagai fungsi pencarian yang lebih baik maka Preview dan sebagai soal fakta akan menemukan string pencarian ketika Preview hanya tidak akan.
Perhatikan bahwa saat pertama kali fungsi digunakan, ia akan menghitung beberapa font pada output di Terminal , namun ini adalah penghitungan satu kali font-font tersebut.
Yang menyenangkan tentang salinan PDF adalah mempertahankan format, yaitu huruf tebal dan huruf miring, dll.
Sebagai catatan tambahan, ketikkan saja nama perintah di Terminal dan kemudian klik kanan padanya dan pilih Open man Page , tampilkan dalam jendela Terminal yang sepenuhnya dapat digulir dan dicari , yang jauh lebih baik daripada mengetik misalnya man bash
.