Revision 759

tmp/org.txm.setups/shared/debian/DEBIAN/postinst (revision 759)
33 33
fi
34 34
done
35 35

  
36
# set CQP executable rights
37
chmod +x $TXMINSTALLDIR/plugins/org.txm.libs.cqp.linux_*/res/linux64/*
38
if [ $? != 0 ]; then
39
	echo "** TXM install: Failed to set org.txm.libs.cqp.linux plugin file rights : $TXMINSTALLDIR/plugins/org.txm.libs.cqp.linux_*/res/linux64/*" >&2
40
	exit 1;
41
fi
36 42

  
43
# set R executable rights
44
chmod -R +x $TXMINSTALLDIR/plugins/org.txm.statsengine.r.core.linux_*/res/linux64/*
45
if [ $? != 0 ]; then
46
	echo "** TXM install: Failed to set org.txm.statsengine.r.core.linux plugin file rights : $TXMINSTALLDIR/plugins/org.txm.statsengine.r.core.linux_*/res/linux64/*" >&2
47
	exit 1;
48
fi
49

  
37 50
# create stamp file
38 51
touch "$TXMINSTALLDIR/STAMP"
39 52
if [ $? != 0 ]; then
tmp/org.txm.setups/shared/debian/usr/bin/TXM (revision 759)
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
4 3

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

  
......
20 19

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

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

Also available in: Unified diff