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

TXM (revision 1908)
12 12

  
13 13
TXMINSTALL="/usr/lib/TXM${VERSION}"
14 14
TXMHOME="$HOME/TXM${VERSIONWITHOUTSUB}"
15
DOTTXMHOME="$TXMHOME/.txm"
15
DOTTXMHOME="$HOME/.TXM${VERSIONWITHOUTSUB}"
16 16

  
17 17
(
18 18
echo "TXM: $HOME is '$HOME'"
......
97 97
	fi
98 98
	
99 99
	echo "TXM: resetting RCP workspace."
100
	rm -rf "$TXMHOME/corpora/.metadata"
101
	if [ -d "$TXMHOME/corpora/.metadata" ]; then
102
	    zenity --info --text="TXM: Failed to remove $TXMHOME/corpora/.metadata"
103
	    echo "TXM: Failed to remove $TXMHOME/corpora/.metadata"
100
	rm -rf "$TXMHOME/.metadata"
101
	if [ -d "$TXMHOME/.metadata" ]; then
102
	    zenity --info --text="TXM: Failed to remove $TXMHOME/.metadata"
103
	    echo "TXM: Failed to remove $TXMHOME/.metadata"
104 104
	    exit 1 ;
105 105
	fi
106 106

  
107 107
    mkdir "$DOTTXMHOME"
108 108
    if [ ! -d "$DOTTXMHOME" ]; then
109
		echo "TXM: Impossible to access '$HOME/TXM/.txm' directory. Aborting$LOGFILESMSG"
109
		echo "TXM: Impossible to access '$DOTTXMHOME' directory. Aborting$LOGFILESMSG"
110 110
		exit 1
111 111
    fi
112 112
    
......
152 152
    exit 1 ;
153 153
fi
154 154

  
155
## uncomment next lien to enable full debug
155
## uncomment next line to enable full debug
156 156
#DEBUGOPTIONS="-log -clean -debug -console -noexit"
157 157

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

Also available in: Unified diff