gnome-terminal e i tasti SU e GIU

[Andrea Rinaldi]

Ciao a tutti,
da stasera non mi fanno più i tasti su e giù nella shell per ricercare i
comandi nell'history..
che ho combinato? :)