#PWD=`pwd`
. ./shared_variables.sh
if [ "$USER" != keytest ]
then
	echo USER is "$USER", not keytest! Exiting.
	exit
fi

for file in $ROOT_OUTDIR/to*/*pure
do
	if ! cat $file > /dev/null
	then
		echo cannot read $file, perhaps permissions are wrong?
		exit 1
	fi
done
#(DISPLAY=:1 sudo -u keytest -H nice -18 ; cd $PWD ; ./autolyx)
./killtest.sh # kill any previous test, so does not interfere
./autolyx