[TERMINALE] Stampare pagine di manuale

[Barzi]

Ciao a tutti.

Se io digito il comando bash$man gdb (è solo un esempio) da Terminale.app e volessi stamparlo come posso fare? Ho trovato l'escamotage

bash$ man gdb > gbb.txt

E poi facendo
[code]
bash$ cat gdb.txt
[code]

Ottengo una corretta visualizzazione del file, mentre aprendo il file gdb.txt con textedit ho una situazione in cui tutte le lettere sono duplicate (come se ci fosse un echo attivato). Vi riporto un frammento :

SSYYNNOOPPSSIISS
       ggddbb    [--hheellpp] [--nnxx] [--qq] [--bbaattcchh] [--ccdd==_d_i_r] [--ff] [--bb _b_p_s] [--ttttyy==_d_e_v]
              [--ss _s_y_m_f_i_l_e] [--ee _p_r_o_g] [--ssee _p_r_o_g] [--cc _c_o_r_e] [--xx _c_m_d_s] [--dd _d_i_r]
              [_p_r_o_g[_c_o_r_e|_p_r_o_c_I_D_]_]

Come risolvo??
Thanx :-)

[Peterpan]

Ciao,

scrivi cosi':

man gds| col -b > manualedastampare.txt

Questo dovrebbe pulire il file txt che poi puoi aprire con textedit e stampare.

[Barzi]

Perfetto... ora funziona.
grazie :-)