LINUX « E-Pillole
Convertire man pages in file di testo/pdf
Spesso capita di dover leggere con attenzione l'help e le man pages di un determinato comando per conoscere meglio i parametri e le opzioni da passare. Le man pages (abbreviazione di manual pages) sono una risorsa molto utile di ogni sistema unix e per leggerne l'output è sufficiente digitare:
man cmd
dove per cmd ci si riferisce al comando di cui si vogliono visualizzare le man pages. In questo modo, l'output viene visualizzato direttamente nel terminale, e la lettura è decisamente scomoda soprattutto per output di molte pagine. La cosa migliore quindi, se si vuole leggere agevolmente le man pages di un determinato comando, è di estrarle e convertirle in file .pdf, oppure in semplici file di testo.
Vediamo come fare, ipotizzando di voler visualizzare le man pages del comando mount.
Per convertire le man pages in un semplice file di testo è sufficiente digitare:
man mount | col -b > man_mount
In questo modo verrà creato un semplice file di testo "man_mount" che preserva la formattazione delle man pages, e che sarà facilmente consultabile con qualunque editor di testo.
Per convertire invece le man pages in un file .pdf bisognerà innanzitutto convertirle in un file postscript (.ps) digitando:
man -t mount > man_mount.ps
e successivamente convertire il file .ps appena creato in un file .pdf utilizzando l'eseguibile ps2pdf che sui sistemi debian based viene installato con il pacchetto gs-common. Se non lo avete già, installatelo digitando da root:
apt-get install gs-common
A questo punto, possiamo convertire il file postscript (.ps) creato in precedenza in un .pdf, digitando molto semplicemente:
ps2pdf man_mount.ps man_mount.pdf
Ed ecco che le man pages, sono perfettamente trasformate in un file .pdf di facile consultazione su qualunque sistema con un'interfaccia grafica.
l'eseguibile ps2df sta in gs-common :)
non me lo ricordavo +
thanksss
se devo dire la verità anche io ci avevo messo un pò a ricordarmelo!!!
ciaociao
- Applications Software (2)
- Debian (1)
- Devel (1)
- Distribuzioni Varie (2)
- Easy Tricks (5)
- Gnome Desktop (2)
- Guide Debian (8)
- Guide Debian Ubuntu (12)
- Guide Ubuntu (9)
- Linux Printer Drivers (1)
- Man Pages Linux (2)
- My Feeds (3)
- Off Topic (2)
- Ping at Home (1)
- Problem Solving (4)
- Server Side (2)
- Tricks Debian Ubuntu (5)
- Ubuntu (8)
- Upgrades (5)
- NFS - Condivisione file Debian Ubuntu
- Ubuntu Case Studies: storie di successo in azienda e nelle scuole
- La tentazione del lato oscuro (Google AdSense) [Ping@Home]
- Linux Man Pages On-Line
- Gestione Moduli e Virtual Hosts di Apache2 su Debian e Ubuntu
- Visualizzare struttura ad albero di una directory
- Cron + Rhythmbox + Scriptino = Sveglia
- Soluzione piccolo problema con mp32ogg
- Velocizzare la ricompilazione con ccache
- Trasformare Gedit in un editor avanzato
- People DebianClan e TuxFeed: pinguini italiani alla riscossa
- Abilitare supporto AGP driver NVIDIA
- Finalmente rilasciata la GPLv3
- Compiz Fusion + Debian Sid
- Estensione NoScript per Firefox
- Compiz Fusion + Ubuntu Feisty
- Disabilitare o modificare splash screen Gnome
- Personalizzare gnome con GNOME Color Chooser
- VOGLIO usare Ubuntu
- Cronologia comandi bash
- febbraio 2008 (1)
- gennaio 2008 (2)
- dicembre 2007 (1)
- novembre 2007 (2)
- ottobre 2007 (1)
- agosto 2007 (3)
- luglio 2007 (2)
- giugno 2007 (20)
- maggio 2007 (13)
- aprile 2007 (10)
- marzo 2007 (20)










