2 . ./shared_variables.sh
3 if [ "$USER" != keytest ]
5 echo USER is "$USER", not keytest! Exiting.
9 for file in $ROOT_OUTDIR/to*/*pure
11 if ! cat $file > /dev/null
13 echo cannot read $file, perhaps permissions are wrong?
17 #(DISPLAY=:1 sudo -u keytest -H nice -18 ; cd $PWD ; ./autolyx)
18 ./killtest.sh # kill any previous test, so does not interfere