Révision 2901
| tmp/org.txm.setups/shared/debian/usr/bin/TXM (revision 2901) | ||
|---|---|---|
| 156 | 156 |
#DEBUGOPTIONS="-log -clean -debug -console -noexit" |
| 157 | 157 |
) 1>&3 2>&4 |
| 158 | 158 |
|
| 159 |
SWT_GTK3=0 UBUNTU_MENUPROXY=0 exec "${TXMINSTALL}/launcher" "$@" -run --launcher.ini "$DOTTXMHOME/launcher.ini" $DEBUGOPTIONS -configuration "$DOTTXMHOME/configuration" -user "$DOTTXMHOME/user" -install "$TXMINSTALL"
|
|
| 159 |
#author: sheiden |
|
| 160 |
ubuntuubuntuversion=`lsb_release -r | sed -e 's/^Release:\t//g' -e 's/\..*//g'` |
|
| 161 |
|
|
| 162 |
# test release number syntax |
|
| 163 |
if [[ ! "$ubuntuubuntuversion" =~ ^[0-9]+$ ]] |
|
| 164 |
then |
|
| 165 |
echo "** error: wrong release number" |
|
| 166 |
exit 1 |
|
| 167 |
fi |
|
| 168 |
|
|
| 169 |
# test range |
|
| 170 |
|
|
| 171 |
ACTIVATEGTK3=0 |
|
| 172 |
if [ "$ubuntuubuntuversion" -lt 20 ] |
|
| 173 |
then |
|
| 174 |
|
|
| 175 |
elif [ "$ubuntuubuntuversion" -eq 20 ] |
|
| 176 |
then |
|
| 177 |
ACTIVATEGTK3=1 |
|
| 178 |
else |
|
| 179 |
ACTIVATEGTK3=1 |
|
| 180 |
fi |
|
| 181 |
|
|
| 182 |
|
|
| 183 |
SWT_GTK3=$ACTIVATEGTK2 UBUNTU_MENUPROXY=0 exec "${TXMINSTALL}/launcher" "$@" -run --launcher.ini "$DOTTXMHOME/launcher.ini" $DEBUGOPTIONS -configuration "$DOTTXMHOME/configuration" -user "$DOTTXMHOME/user" -install "$TXMINSTALL"
|
|
Formats disponibles : Unified diff