[Pluto-help] Inserire una variabile (FATTO)

Pier Antonio pacmo a libero.it
Ven 15 Mar 2002 18:22:38 CET


Il ven, 2002-03-15 alle 17:31, Pier Antonio ha scritto:
> Programma jedit
> Quando lo lancio mi risponde 
> Warning: JAVA_HOME environment variable not set
> OK manca il percorso /usr/java/jre1.3.1)
> Il problema è che ho provato in 64 modi a cacciarlo nello script, ma
> risponde sempre uguale
Fatto : uno stupido spazio che insistevo nel non vedere !!!
> 
> Ecco lo script di jedit
> 
> #!/bin/sh
> # Java home directory
> if [ "$JAVA_HOME" = "" ]; then
>     echo "Warning: JAVA_HOME environment variable not set."
>     export java=java
> else
>     export java="$JAVA_HOME/bin/java"
> fi
> 
> # Java heap size, in megabytes (see doc/README.txt)
> JAVA_HEAP_SIZE=32
> 
> Cosa debbo mettere ?
> Grazie 
> Pier Antonio
> 
> exec $java -mx${JAVA_HEAP_SIZE}m ${JEDIT} -jar
> /usr/share/jedit/3.2.2/jedit.jar $@
> 
> 
> 
> -- 
> Utente Linux Registrato #202037 http://counter.li.org
> Red Hat 7.2
> 
> 
> 
> _______________________________________________
> pluto-help mailing list
> pluto-help a lists.pluto.linux.it
> http://lists.pluto.linux.it/mailman/listinfo/pluto-help
-- 
Utente Linux Registrato #202037 http://counter.li.org
Red Hat 7.2






More information about the pluto-help mailing list