Davide Lo Re ha scritto:
bastava prendere xterm o qualcosa di simile :) non c'era bisogno di scaricarsi tutto gnome... ;)
Ok, ho fatto così :-), xterm è bruttino ma molto più snello.Sai dove devo cercare per regolare la dimensione del font? Sono a 1920x1200 e mi pare troppo piccino...
ciao