Révision 2902
| tmp/org.txm.setups/shared/debian/usr/bin/TXM (revision 2902) | ||
|---|---|---|
| 1 |
#!/bin/bash |
|
| 2 |
|
|
| 1 | 3 |
# This script launches TXM in the right directory and with the right launcher.ini file |
| 2 | 4 |
UBUNTU_MENUPROXY=0 |
| 3 | 5 |
VERSION=-TXMVERSION |
| ... | ... | |
| 166 | 168 |
exit 1 |
| 167 | 169 |
fi |
| 168 | 170 |
|
| 171 |
#author: sheiden |
|
| 172 |
ubuntuubuntuversion=`lsb_release -r | sed -e 's/^Release:\t//g' -e 's/\..*//g'` |
|
| 173 |
|
|
| 174 |
# test release number syntax |
|
| 175 |
if [[ ! "$ubuntuubuntuversion" =~ ^[0-9]+$ ]] |
|
| 176 |
then |
|
| 177 |
echo "** error: wrong release number" |
|
| 178 |
exit 1 |
|
| 179 |
fi |
|
| 180 |
|
|
| 169 | 181 |
# test range |
| 170 |
|
|
| 171 |
ACTIVATEGTK3=0 |
|
| 182 |
ACTIVATEGTK3=1 |
|
| 172 | 183 |
if [ "$ubuntuubuntuversion" -lt 20 ] |
| 173 | 184 |
then |
| 174 |
|
|
| 175 |
elif [ "$ubuntuubuntuversion" -eq 20 ] |
|
| 176 |
then |
|
| 177 |
ACTIVATEGTK3=1 |
|
| 178 |
else |
|
| 179 |
ACTIVATEGTK3=1 |
|
| 185 |
ACTIVATEGTK3=0 |
|
| 180 | 186 |
fi |
| 181 | 187 |
|
| 182 |
|
|
| 183 | 188 |
SWT_GTK3=$ACTIVATEGTK2 UBUNTU_MENUPROXY=0 exec "${TXMINSTALL}/launcher" "$@" -run --launcher.ini "$DOTTXMHOME/launcher.ini" $DEBUGOPTIONS -configuration "$DOTTXMHOME/configuration" -user "$DOTTXMHOME/user" -install "$TXMINSTALL"
|
| tmp/org.txm.setups/shared/debian/DEBIAN/postrm (revision 2902) | ||
|---|---|---|
| 10 | 10 |
|
| 11 | 11 |
echo "TXM${VERSION} postrm - start"
|
| 12 | 12 |
|
| 13 |
echo "removing /usr/lib/TXM${VERSION}"
|
|
| 14 |
if [ -d "/usr/lib/TXM${VERSION}" ]; then
|
|
| 15 |
rm -rf "/usr/lib/TXM${VERSION}"
|
|
| 16 |
fi |
|
| 13 |
#echo "removing /usr/lib/TXM${VERSION}"
|
|
| 14 |
#if [ -d "/usr/lib/TXM${VERSION}" ]; then
|
|
| 15 |
# rm -rf "/usr/lib/TXM${VERSION}"
|
|
| 16 |
#fi
|
|
| 17 | 17 |
|
| 18 | 18 |
echo "TXM${VERSION} postrm - end"
|
| 19 | 19 |
exit 0 |
Formats disponibles : Unified diff