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

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

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

  
......
19 20

  
20 21
echo "TXM: Creating all necessary directories."
21 22

  
22
TXMHOME="$HOME/TXM"
23
TXMHOME="$HOME/TXM_$VERSION"
23 24
echo "TXMHOME='$TXMHOME'"
24 25
if [ ! -d "$TXMHOME" ]; then
25 26
	mkdir "$TXMHOME"

Also available in: Unified diff