[Pluto-help] variabile PATH

[Gianluca Di Corato]

On Tue, Apr 23, 2002 at 01:59:04PM +0200, Stefano Callegari wrote:
> Il 22apr 22:34, albertobubu a supereva.it scrisse:
> > 
> > ho installato Development Kit e devo fare una variabile d'ambiente come si
> > fa ? in che file va fatta ?
> > 
> 
> Se usi bash:
> 
> export variabile=valore
> 
> poi lo metti in /etc/profile (o profile.local) se per tutti o in ~/.profile
> o in ~/.bashrc su utilizzato solo dall'user.
> 
> Poi devi riloggarti per farglielo leggere.

NON c'è bisogno di riloggarsi, basta utilizzare il builtin di bash
source. (vedi bash(1) sez Shell builtin commands)

-- 
                    |   .-.
Gianluca Di Corato  |  : | :  I N  P E A C E  W E  T R U S T
   (aka sgrung)     |  '/|\'