Si vous aimez avoir des copies PDF de vos pages de manuel, voici une fonction que j'ai ajoutée à mon .bash_profile
fichier pour créer un PDF de chaque commande BSD. Je vérifierais la 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, dans Terminal , taper par exemple manp bash
au lieu d' man bash
un PDF est créé, s'il ne l'a pas déjà été, puis ouvert par l'application enregistrée pour gérer les documents PDF . La valeur par défaut est Aperçu , mais sur mon système, il est configuré pour utiliser Skim , car sa fonctionnalité de recherche est meilleure que Aperçu et, en fait, trouvera la chaîne de recherche lorsque Aperçu ne le sera tout simplement pas.
Notez que la première fois que la fonction est utilisée, elle énumère certaines polices dans la sortie dans Terminal , mais il s'agit d'une énumération unique des polices.
Ce qui est bien avec les copies PDF, c'est qu'elles conservent le formatage, c'est-à-dire les polices en gras et en italique, etc.
En guise de remarque, en tapant juste le nom de la commande dans Terminal , puis en cliquant dessus avec le bouton droit et en sélectionnant Ouvrir la page de manuel , l'affiche dans une fenêtre Terminal entièrement défilable et consultable , ce qui est beaucoup mieux que de taper par exemple man bash
.