[Pluto-help] Inserire una variabile
Pier Antonio
pacmo a libero.it
Ven 15 Mar 2002 17:31:21 CET
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
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
More information about the pluto-help
mailing list