Si vous aimez vous avez PDF copies de vos pages de manuel, voici une fonction J'ai ajouté à mon .bash_profile
pour créer un fichier PDF de chaque BSD commande Je vérifierais le page de manuel pour :
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
}
Ainsi, en Terminal en tapant par exemple manp bash
au lieu de man bash
a PDF est créé, s'il ne l'a pas déjà été, et est ensuite ouvert par l'application enregistrée pour gérer l'application PDF documents. Le site par défaut est Prévisualisation cependant, sur mon système, il est configuré pour utiliser Écrémer car sa fonctionnalité de recherche est meilleure que celle de la Prévisualisation et en fait, il trouvera la chaîne de recherche lorsque Prévisualisation ne le fera pas.
Notez que la première fois que l fonction est utilisé, il énumérera certaines polices dans la sortie en Terminal Cependant, il s'agit d'une énumération unique des polices.
Ce qui est bien avec PDF La copie permet de conserver le formatage, c'est-à-dire la police en gras et en italique, etc.
À titre d'information, si vous tapez seulement le commande nom en Terminal et ensuite Cliquez à droite sur sur celui-ci et sélectionnez Ouvrir la page de l'homme l'affiche dans un format entièrement défilable et consultable. Terminal ce qui est bien mieux que de taper, par exemple, le nom de la fenêtre. man bash
.