Révision 759
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" |
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 |
Formats disponibles : Unified diff