Laboratoire ICAR » Plateforme TXM

				if (TXMPreferences.getString(TBXPreferences.USER_TXM_HOME, TBXPreferences.PREFERENCES_NODE).trim().isEmpty()) {

					Version v = BundleUtils.getBundleVersion("org.txm.rcp");

					if ("qualifier".equals(v.getQualifier())) {

						System.out.println("RUNNING TXM FROM ECLIPSE - DEV MODE ACTIVATED");

						version += "_dev";

set installdir=%~dp0

set DEBUG=0

set USERHOME=%USERPROFILE%\

IF NOT EXIST ROAMINGINSTALL GOTO ROAMINGINSTALLDONE

:USERHOMEOK

set DOTTXM=%TXMHOME%.txm\

mkdir "%TXMHOME%" 

echo "Prepare redirections in $HOME/TXMPostInstallOutputLogs.txt and $HOME/TXMPostInstallErrorLogs.txt files"

LOGFILESMSG=", see $HOME/TXMPostInstallOutputLogs.txt and $HOME/TXMPostInstallErrorLogs.txt output and error messages files."

exec 3>$HOME/TXMPostInstallOutputLogs.txt

exec 4>$HOME/TXMPostInstallErrorLogs.txt

echo "Creating all necessary directories"

fi

	echo "TXM: Impossible to access '$DIR' directory. Aborting$LOGFILESMSG"

	exit 1

fi

echo "DIR='$DIR'"

if [ ! -d "$DIR" ]; then

	mkdir "$DIR"

fi

echo "TXM: if .txm folder does not contain the STAMP file, its a new install."

	echo "New TXM install: it's the first launch after the installation"

	if [ -f "/tmp/org.txm.rcpapplication.prefs" ]; then

	fi

	echo "TXM: Installing up to date TXM directories."

	    exit 1 ;

	fi

		exit 1

    fi

    if [ $? != 0 ]; then

       	echo "TXM: Can't launch TXM: failed to set TXM.ini file$LOGFILESMSG"

        exit 1

    fi

    if [ $? != 0 ]; then

        exit 1

    fi

fi

	if [ $i == "-vmargs" ]; then

 	   STARTVMARGS=1

	fi

echo "TXM INI ARGS = $TXMINIARGS"

echo "TXM INI VM ARGS = $TXMINIARGSVM"

if [ $? != 0 ];then

	echo "TXM: Running TXM for Mac OS X $OSVERSION with the binary launcher..."

else

	echo "TXM: Running TXM for Mac OS X $OSVERSION with the JAR launcher..."

fi

# This script launches TXM in the right directory and with the right TXM.ini file

UBUNTU_MENUPROXY=0

echo "TXM: Preparing redirections in $HOME/TXM_PostInstallOutputLogs.txt and $HOME/TXM_PostInstallErrorLogs.txt files."

echo "TXM: Creating all necessary directories."

echo "TXMHOME='$TXMHOME'"

if [ ! -d "$TXMHOME" ]; then

	mkdir "$TXMHOME"