Revision 1199 tmp/org.txm.setups/shared/debian/usr/bin/TXM

TXM (revision 1199)
1 1
# This script launches TXM in the right directory and with the right TXM.ini file
2 2
UBUNTU_MENUPROXY=0
3 3
VERSION=-TXMVERSION
4

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

  
7 6
LOGFILESMSG=", see $HOME/TXM_PostInstallOutputLogs.txt and $HOME/TXM_PostInstallErrorLogs.txt output and error messages files."
......
94 93
	    echo "TXM: Failed to remove $DOTTXMHOME directory$LOGFILESMSG"
95 94
	    exit 1 ;
96 95
	fi
96
	
97
	echo "TXM: resetting RCP workspace."
98
	rm -rf "$TXMHOME/corpora/.metadata"
99
	if [ -d "$TXMHOME/corpora/.metadata" ]; then
100
	    zenity --info --text="TXM: Failed to remove $TXMHOME/corpora/.metadata"
101
	    echo "TXM: Failed to remove $TXMHOME/corpora/.metadata"
102
	    exit 1 ;
103
	fi
97 104

  
98 105
    mkdir "$DOTTXMHOME"
99 106
    if [ ! -d "$DOTTXMHOME" ]; then
......
150 157
## uncomment next lien to enable full debug
151 158
#DEBUGOPTIONS="-log -consolelog -clean -debug -console -noexit"
152 159

  
153
SWT_GTK3=0 UBUNTU_MENUPROXY=0 exec "${TXMINSTALL}/TXM" -run --launcher.ini "$DOTTXMHOME/TXM.ini" $DEBUGOPTIONS -data "$TXMHOME/corpora" -user "$DOTTXMHOME/user" -install "$TXMINSTALL"
160
SWT_GTK3=0 UBUNTU_MENUPROXY=0 exec "${TXMINSTALL}/TXM" "$@" -run --launcher.ini "$DOTTXMHOME/TXM.ini" $DEBUGOPTIONS -data "$TXMHOME/corpora" -user "$DOTTXMHOME/user" -install "$TXMINSTALL"

Also available in: Unified diff