[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