Files
Gymnasium/bin/docker_entrypoint

27 lines
484 B
Plaintext
Raw Permalink Normal View History

#!/bin/bash
2016-04-27 08:00:58 -07:00
# This script is the entrypoint for our Docker image.
set -ex
2016-08-10 16:12:51 -07:00
# Set up display; otherwise rendering will fail
Xvfb -screen 0 1024x768x24 &
export DISPLAY=:0
2016-04-27 08:00:58 -07:00
2016-08-10 16:12:51 -07:00
# Wait for the file to come up
display=0
2016-08-10 16:12:51 -07:00
file="/tmp/.X11-unix/X$display"
for i in $(seq 1 10); do
if [ -e "$file" ]; then
break
fi
echo "Waiting for $file to be created (try $i/10)"
sleep "$i"
done
if ! [ -e "$file" ]; then
echo "Timing out: $file was not created"
exit 1
fi
2016-04-27 08:00:58 -07:00
exec "$@"