[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