Laboratoire ICAR » Plateforme TXM

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

UBUNTU_MENUPROXY=0

VERSION=-TXMVERSION

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

LOGFILESMSG=", see $HOME/TXM_PostInstallOutputLogs.txt and $HOME/TXM_PostInstallErrorLogs.txt output and error messages files."

exec 3>$HOME/TXM_PostInstallOutputLogs.txt

exec 4>$HOME/TXM_PostInstallErrorLogs.txt

TXMINSTALL="/usr/lib/TXM${VERSION}"

TXMHOME="$HOME/TXM${VERSION}"

DOTTXMHOME="$TXMHOME/.txm"

(

echo "TXM: $HOME is '$HOME'"

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

	zenity --info --text="TXM: Impossible to access user home directory ($HOME). Aborting"

	echo "TXM: Impossible to access user home directory ($HOME). Aborting"

	exit 1

fi

echo "TXM: Creating all necessary directories."

echo "TXMHOME='$TXMHOME'"

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

	mkdir "$TXMHOME"

fi

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

	zenity --info --text="TXM: Impossible to access '$TXMHOME' directory. Aborting$LOGFILESMSG"

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

	exit 1

fi

echo "DOTTXMHOME='$DOTTXMHOME'"

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

	mkdir "$DOTTXMHOME"

fi

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

	zenity --info --text="TXM: Impossible to access '$DOTTXMHOME' directory. Aborting$LOGFILESMSG"

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

	exit 1

fi

echo "TXM: looking at the last TXM install date from the /usr/lib/TXM${VERSION}/STAMP file."

if [ ! -r "$TXMINSTALL/STAMP" ]; then

	zenity --info --text="TXM: Impossible to access '$TXMINSTALL/STAMP' file. Aborting$LOGFILESMSG"

	echo "TXM: Impossible to access '$TXMINSTALL/STAMP' file. Aborting$LOGFILESMSG"

	exit 1

fi

STAMP=`stat -c %Y "$TXMINSTALL/STAMP"`

if [ $? != 0 ]; then

    zenity --info --text="TXM: Impossible to get status of '$TXMINSTALL/STAMP' file. Aborting$LOGFILESMSG"

    echo "TXM: Impossible to get status of '$TXMINSTALL/STAMP' file. Aborting$LOGFILESMSG"

    exit 1

fi

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

if [ ! -e "$DOTTXMHOME/$STAMP" ]; then

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

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

		rm -f "/tmp/org.txm.rcpapplication.prefs" # remove previous preference files if any

	fi

	echo "Backing up previous TXM 0.7.6 preferences if any..."

	if [ -f "$HOME/.txm/configuration/.settings/org.txm.rcpapplication.prefs" ]; then

		echo "Found preference file: $HOME/.txm/configuration/.settings/org.txm.rcpapplication.prefs"

		cp -f "$HOME/.txm/configuration/.settings/org.txm.rcpapplication.prefs" "/tmp/org.txm.rcpapplication.prefs"

		if [ $? != 0 ]; then

  			echo "Failed to copy old preference file in /tmp/org.txm.rcpapplication.prefs"

		fi

	fi

	echo "Backing up previous TXM 0.7.7 preferences if any..."

	if [ -f "$HOME/.txm/data/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.txm.rcpapplication.prefs" ]; then

		echo "Found preference file: $HOME/.txm/data/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.txm.rcpapplication.prefs"

		cp -f "$HOME/.txm/data/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.txm.rcpapplication.prefs" "/tmp/org.txm.rcpapplication.prefs"

		if [ $? != 0 ]; then

  			echo "Failed to copy old preference file in /tmp/org.txm.rcpapplication.prefs"

		fi

	fi

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

	rm -rf "$DOTTXMHOME"

	if [ -d "$DOTTXMHOME" ]; then

	    zenity --info --text="TXM: Failed to remove $DOTTXMHOME directory$LOGFILESMSG"

	    echo "TXM: Failed to remove $DOTTXMHOME directory$LOGFILESMSG"

	    exit 1 ;

	fi

    mkdir "$DOTTXMHOME"

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

		echo "TXM: Impossible to access '$HOME/TXM/.txm' directory. Aborting$LOGFILESMSG"

		exit 1

    fi

	mkdir "$DOTTXMHOME/user"

	if [ ! -d "$DOTTXMHOME/user" ]; then

		echo "TXM: Impossible to access '$DOTTXMHOME/user' directory. Aborting$LOGFILESMSG"

		exit 1

    fi

	mkdir "$DOTTXMHOME/data"

    if [ ! -d "$DOTTXMHOME/data" ]; then

		echo "TXM: Impossible to access '$DOTTXMHOME/data' directory. Aborting$LOGFILESMSG"

		exit 1

    fi

    mkdir "$DOTTXMHOME/configuration"

    if [ ! -d "$DOTTXMHOME/configuration" ]; then

		echo "TXM: Impossible to access '$DOTTXMHOME/configuration' directory. Aborting$LOGFILESMSG"

		exit 1

    fi

    echo "TXM: getting '$TXMINSTALL/TXM.ini' and setting write permissions to '$DOTTXMHOME/TXM.ini'"

    cp "$TXMINSTALL/TXM.ini" "$DOTTXMHOME/TXM.ini" &&

    chmod +w "$DOTTXMHOME/TXM.ini"

    if [ $? != 0 ]; then

        zenity --info --text="TXM: Can't launch TXM: failed to set TXM.ini file$LOGFILESMSG"

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

        exit 1

    fi

    echo "TXM: creating the $DOTTXMHOME/$STAMP flag file."

    touch "$DOTTXMHOME/$STAMP"

    if [ $? != 0 ]; then

        zenity --info --text="TXMLaunch: Can't launch TXM: failed to create the $DOTTXMHOME/$STAMP install STAMP file$LOGFILESMSG"

		echo "TXM: Can't launch TXM: failed to create the $DOTTXMHOME/$STAMP install STAMP file$LOGFILESMSG"

        exit 1

    fi

fi

) 1>&3 2>&4

# don't exec TXM if problem occurs

if [ $? != 0 ]; then

    echo "TXM: An error occurred. Aborting$LOGFILESMSG";

    exit 1 ;

fi

## uncomment next lien to enable full debug

#DEBUGOPTIONS="-log -consolelog -clean -debug -console -noexit"

UBUNTU_MENUPROXY=0 exec "${TXMINSTALL}/TXM" -run --launcher.ini "$DOTTXMHOME/TXM.ini" $DEBUGOPTIONS -data "$DOTTXMHOME/data" -user "$DOTTXMHOME/user" -install "$TXMINSTALL"