[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