fi
fi
+if [ "$(which wmctrl)" == "" ]; then
+ echo "You need to install wmctrl first, try:"
+ echo " sudo apt-get install wmctrl"
+ exit -1;
+fi
+
export XVKBD_EXE=../$XVKBD_EXE
export KEYTEST=../keytest.py
LYX_HOME=out-home
if $cmd > test-log.txt 2>&1; then
echo Ok
cd ..
- rm -rf "out-$t";
+ if [ "$V" != "" ]; then rm -rf "out-$t"; fi
else
echo FAILED
cd ..