Re: gnome-terminal e i tasti SU e GIU

2007-07-25 Per discussione Christian Surchi
On Wed, Jul 25, 2007 at 08:11:48PM +0200, Andrea Rinaldi wrote: > 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? :) leggi il bts e aggiorna al nuovo pacchetto di libvte9 ciao Christian -- http://fraseggio.wo

Re: gnome-terminal e i tasti SU e GIU

2007-07-25 Per discussione Christian Silenzi
On Wed, 25 Jul 2007 20:45:08 +0200 "Andrea Rinaldi" <[EMAIL PROTECTED]> wrote: > ecco appunto volevo dirlo..l'unica cosa che ho fatto è stato > aggiornare.. nella debian sid questi casini ci son ogni tanto.. > vabbè aspettiamo..ciao e grazie! http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=43461

Re: gnome-terminal e i tasti SU e GIU

2007-07-25 Per discussione Christian Silenzi
On Wed, 25 Jul 2007 20:11:48 +0200 "Andrea Rinaldi" <[EMAIL PROTECTED]> wrote: > 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? :) Anche a me non vanno, ho cercato nelle varie impostazioni di gnome-terminal, ma

Re: gnome-terminal e i tasti SU e GIU

2007-07-25 Per discussione Andrea Rinaldi
ecco appunto volevo dirlo..l'unica cosa che ho fatto è stato aggiornare.. nella debian sid questi casini ci son ogni tanto.. vabbè aspettiamo..ciao e grazie! Il 25/07/07, Christian Silenzi <[EMAIL PROTECTED]> ha scritto: On Wed, 25 Jul 2007 20:11:48 +0200 "Andrea Rinaldi" <[EMAIL PROTECTED]> wr

Re: gnome-terminal e i tasti SU e GIU

2007-07-25 Per discussione Giovanni Mascellani
All'incirca Wed, 25 Jul 2007 20:11:48 +0200, "Andrea Rinaldi" <[EMAIL PROTECTED]> sembrerebbe aver scritto: > 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? :) Ehm, questo è quello che ci dovresti dire tu! Dub

gnome-terminal e i tasti SU e GIU

2007-07-25 Per discussione 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? :)