[TERMINALE] Stampare pagine di manuale
Posted: Tue Feb 19, 2008 1:30 am
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
E poi facendo
Come risolvo??
Thanx :-)
Se io digito il comando bash$man gdb (รจ solo un esempio) da Terminale.app e volessi stamparlo come posso fare? Ho trovato l'escamotage
Code: Select all
bash$ man gdb > gbb.txt
Code: Select all
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 :
[code]
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_]_]
Thanx :-)
