Changeset 17718 for gli

Show
Ignore:
Timestamp:
05.11.2008 17:06:21 (11 years ago)
Author:
max
Message:

Allow to set JAVA_PATH manually and give more info about this if needed.

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • gli/trunk/gli.sh

    r17672 r17718  
    275275 
    276276# Some users may set this line manually 
    277 javapath="" 
     277#JAVA_HOME="" 
    278278 
    279279if [ -z $javapath ]; then 
     
    360360                echo "Vous devez installer un Java Runtime Environment (version $MINIMUM_JAVA_VERSION ou" 
    361361                echo "supérieur) avant de démarrer $PROGNAME." 
     362                echo "Si vous avez Java installé sur votre ordinateur veuillez vérifier la variable" 
     363                echo "d'environnement JAVA_HOME." 
    362364            elif [ "$glilang" = "ru" ]; then 
    363365                echo "îÅ ÕÄÁÌÏÓØ ÏÐÒÅÄÅÌÉÔØ ÍÅÓÔÏÎÁÈÏÖÄÅÎÉÅ ÓÏÏÔ×ÅÔÓÔ×ÕÀÝÅÊ ×ÅÒÓÉÉ Java." 
     
    368370                echo "Java Runtime Environment (version $MINIMUM_JAVA_VERSION or greater) before running the" 
    369371                echo "$PROGNAME." 
     372                echo "If you have Java intalled on your machine please set the environment variable JAVA_HOME." 
    370373            fi 
    371374        fi