Re: $PATH différents dans un terminal et en console ??
On Tue, 03 Aug 2004 19:13:15 +0200, jeannot <ruduperenospam@free.fr> wrote:
> Bonjour la liste,
> Un truc bête, sûrement, mais je n'arrive pas à faire prendre en compte
> par kde ou gnome
> la modification de la variable $PATH de mon user.
> J'ai bien rajouté dans mon ~/bash_profile les lignes:
> export JAVA_HOME=/usr/java/j2sdk1.4.2_01
> export PATH=$PATH:$JAVA_HOME/bin
>
>
moi je mettrais :
export JAVA_HOME=/usr/java/j2sdk1.4.2_01
export PATH=$PATH:${JAVA_HOME}/bin
je crois :/
Reply to: