Re: possibile bug in gnome-terminal?
On Thu, Aug 28, 2003 at 03:47:06PM +0200, Gian Piero Carrubba wrote:
> > direi che è la soluzione. mi piaceva di più gestirlo utente per utente
> > con un file tipo .bashrc, ma pazienza. posso usare .gnomerc, per caso?
>
ho risolto così:
leo@cervellone:~$ cat .gnomerc
if [ -d ~/bin ] ; then
PATH=~/bin:"${PATH}"
fi
> > la motivazione per cui tendo a considerarlo un bug è che con konsole
> > questo problema non c'è.
>
> Onestamente non mi pare una motivazione sufficiente, anche perche' cosi'
> come fai a sapere che non si tratti di un bug di konsole?
> I bug devono avere alcune caratteristiche di cui ancora non vedo
> evidenza in questo caso (il che' *non* vuol dire che non sia
> effettivamente un bug).
a me sembrava un comportamento plausibile. se non un bug potrebbe essere
tra le whishlist.
> gpiero@cancan:~/test$ ls [A-Z]*
> A b B y Y z Z
orrore! ma perchè?!?
--
Leonardo Canducci - lcanducci@libero.it
GPG Key ID: 429683DA
Reply to: