Pages man au format pdf
Vous en avez assez d’essayer de vous y retrouver ….
….parmi toutes les informations contenues dans les pages de manuel du mode terminal.
Voici enfin une astuce qui vous facilitera la vie très certainement !
Je vous propose de récupèrer vos pages man au format * . pdf, ce qui vous permettra de les imprimer à votre guise et vous faire votre propre classeur,
Pour cela, suivez les instructions suivantes :
creez un répertoire “PagesMan” dans votre répertoire personnel :
Ouvrez un terminal puis :
cd /home/MonLogin
Créez un répertoire pour nos pages de manuel
mkdir PagesMan
On se place dans ce répertoire pour y stocker ces fameuses pages que nous obtiendrons au format pdf
cd PagesMan
Je prendrai le simple exemple pour la commande ls qui permet de lister les fichiers contenus dans un répertoire.
- 1°) Impression du manuel de la commande ls dans un fichier ls.ps
man -t ls > ls.ps
- 2°) Conversion du fichier ls.ps en ls.pdf
ps2pdf ls.ps
- 3°) Suppression du fichier ls.ps
rm ls.ps
- 4°) Vérification de notre fichier ls.pdf
evince ls.pdf
Bon apprentissage , les amis !!
Pascal.