[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: possibile bug in gnome-terminal?



Il mer, 2003-08-27 alle 18:37, Leonardo Canducci ha scritto:
> mi riferisco al gnome-terminal 2.2.2 presente in sid (e sarge, credo).
> premessa:
> ho una dir ~/bin dove tengo gli eseguibili scritti da me nella mia home.
> per inserirla nel path ho queste righe in .bash_profile:
> if [ -d ~/bin ] ; then
>     PATH=~/bin:"${PATH}"
> fi
> gnome-terminal legge .bash_profile solo se è selezionata, per il profilo
> corrente, l'opzione "eseguire comando come una shell di login". nel mio
> profilo di default è selezionata questa opzione.

per la verita` e` la bash che riceve da gnome-terminal il parametro
corretto e gira come shell di login, comunque...

> 
> il problema:
> quando lancio un programma in questo modo:
> leo@cervellone:~$ gnome-terminal -e testpath
> dove testpath è uno scriptino di 3 righe in ~/bin fatto così:
> #!/bin/sh
> echo $PATH
> read key
> gnome-terminal non lo trova. per farlo funzionare devo indicare il full
> path, anche se non dovrebbe essere necessario, visto che ~/bin è inclusa
> in $PATH per le shell di login. 

...il problema rimane. sembra proprio che non rispetti le impostazioni
del profilo di default (ma neppure di quelli passati con
--window-with-profile). la prima cosa da fare e` controllare se sul
bugzilla di gnome c'e' gia` un baco simile, e poi, se non c'e`
segnalarlo. puoi usare bug-buddy per facilitarti la vita durante la
segnalazione.

federico

-- 
Federico Di Gregorio
Debian GNU/Linux Developer & Italian Press Contact        fog@debian.org
INIT.D Developer                                           fog@initd.org
     One key. One input. One enter. All right. -- An american consultant
           (then the system crashed and took down the *entire* network)

Attachment: signature.asc
Description: Questa parte del messaggio =?ISO-8859-1?Q?=E8?= firmata


Reply to: