Manuali in formato pdf
Spesso capita di dover rintracciare un’opzione specifica di un dato comando.
La lettura del manuale attraverso la shell, puo’ risultare gravosa per la vista soprattutto se l’operazione e’ ripetuta frequentemente.
Con una semplice procedura e’ possibile porre rimedio a tale imprevisto generando una versione pdf stampabile delle man-pages desiderate.
Di seguito sono riportati i due passi fondamentali, coi relativi commenti, da seguire nel caso del compilatore gcc:
1. Formattazione in PostScript
$ man -t gcc > gcc.ps
2. Conversione in formato pdf ed eliminazione file ps
$ ps2pdf gcc.ps && rm -f gcc.ps
Il movimento delle idee 
Lascia un commento