giovedì 19 agosto 2010

Incentivo a leggere le pagine man :-)

Come tutti sanno (o quasi tutti) la pagina man è un documento esplicativo di un comando;

Come tutti sanno (o quasi tutti) per consultarla basta aprire il terminale e digitare

man + il nome del programma (es. man date)

Come tutti sanno (o quasi tutti) leggere il man di un comando nel terminale non è la cosa più entusiasmante di questo mondo!

Di certo, nessuno dopo aver letto il man nel terminale inizia a fare le capriole dalla gioia! Certo io qualche volta le ho fatte, ovviamente non per aver letto il man nel terminale, ma per aver bevuto qualche bicchiere di troppo mentre leggevo il man XD

A parte gli scherzi, cerco di arrivare al dunque!

E allora?

E allora, dopo una serie di ricerche, durate ore ed ore, sono riuscito a fare in modo che la lettura dei man sia non dico piacevole ma almeno più allettante (o meno pesante)

Come?

Per il momento ho scoperto tre modi per rendere meno pesante la lettura dei man:

1. trasformare la pagina man del comando in formato html e leggerla con il browser

2. trasformare la pagina man del comando in formato PDF e leggerla..... beh lo sapete, no?

3. trasformare la pagina man del comando in formato txt

Iniziamo dalla prima opzione:

Anzitutto è necessario installare un pacchetto dal nome troffcvt;

Troffcvt è un programma di conversione; per installarlo apriamo il terminale e digitiamo:

sudo apt-get install troffcvt

Ora facciamo un esempio di conversione:

Prendiamo il comando date; di questo comando vogliamo trasformarne il man in formato html e leggerlo con firefox

Per fare ciò, apriamo il terminale e digitiamo

man --html=firefox date

lanciando questo comando si aprirà il browser e ci troveremo di fronte al man di date (con una grafica molto più gradevole)

Fino a questo punto mi sono ispirato a questa pagina:

http://forum.ubuntu-it.org/index.php?action=printpage;topic=320705.0

Passiamo alla seconda opzione, cioè trasformare il man in PDF

Qui il procedimento è abbastanza semplice (anche se può sembrare più complicato)

Vi dico subito qual è la riga di comando

man -t date | ps2pdf - date_man.pdf

La chiave di volta dell'intero costrutto sta in man -t

infatti se andate a leggere il man di man (non è uno scherzo, in quanto anche man ha il suo man XD) troverete scritto: man -t "formatta la pagina di manuale indicata da `alias', solitamente una pagina di manuale della shell, nel formato predefinito di troff o groff e la redireziona, tramite pipe, alla stampante chiamata ps."

In questo caso la "stampante ps" è ps2pdf;

ps2pdf converte il "l'outoput di man -t" in PDF

L'operatore pipe "|" concatena standard input e output di due comandi (come da manuale XD)

Credetemi, non vedevo l'ora di finire con questa parte teorica (spero di non aver detto cavolate, ma non essendo un esperto ci credo poco XD)

Passiamo al terzo metodo: Trasformare il man nel formato txt!

apriamo il terminale e digitiamo la seguente riga di comando:

man date | col -b> man_date.txt

Questa terza riga di comando mi è stata data dal mio amico Santone (ve lo ricordate? Altrimenti vedete qui)


Mi restano da dire tre cose:

1. il pdf così come il file. txt del nostro man li troveremo nella nostra home

2. (cosa molto scontata), al posto di "date" (nei tre metodi) possiamo usare qualsiasi comando di cui vogliamo conoscerne il man;

3. dal momento che non proprio tutti i comandi hanno il man vi consiglio, prima di lanciare una delle tre righe, di digitare nel terminale: man+il nome del comando.



Ciao! :-)

2 commenti:

  1. Izzica questa non la sapevo :D ahahhaha :D.

    Per questa tua utilissima guida ti offrirò una bottiglia di birra doppio malto rossa fatta in casa da mio padre ;)

    RispondiElimina
  2. Se mi dai quella birra doppio malto, rossa e per giunta fatta in casa scriverò almeno altri venti metodi per leggere i man; :-D ahahahha

    RispondiElimina