Home / Sistemi operativi & mobile / Linux / Esportare pagine man in pdf
Mattepuffo

Esportare pagine man in pdf

Esportare pagine man in pdf

Le pagine man sono ben strutturate, ma non sempre comode da guardare nel terminale.

In parte possiamo ovviare alla scomodità usando questo trucchetto.

A volte però vogliamo studiarci la pagina di manuale in santa pace e in maniera comoda.

Ho scoperto che un comando è possibile creare una versione pdf delle pagine che vogliamo usando ps2pdf.

Questo pacchetto dovrebbe essere installato di default.

Apriamo un terminale e digitiamo questo comando:

$ man -t ls | ps2pdf - ls.pdf

In pratica apriamo la man che vogliamo (in questo caso ls) usando il flag -t che formatta la pgina con groff o troff.

Il risultato lo passiamo a ps2pdf che è un convertitore PostScript.

Così facendo possiamo avere in pdf le nostre man preferite!!