start.sh.in

#!/usr/bin/env sh

# uncomment if there are errors like
# 	Permission denied (publickey)
#
# if [ -z "$SSH_AGENT_PID" ]; then
# 	echo "(Re)starting ssh_agent"
# 	source ssh-fix.sh
# fi


# optional:
#	OUTPUT_SUFFIX="_build" \
#	SECRET="<<Github Webhook secret>>" \
#	TOKEN="<<Github personal access token>>" \
#	DOMAIN="https://ci.example.com" \
#	URL="something" \
#	JWT_SECRET="secret" \
#	PROJECTS="Maths,Other" \
#	PASSWORD="password" \
#	NGINX_ACCEL="yes" \
#	CI_PATH="/Library/TeX/texbin" \
#	 ...
#
# example:
#	PASSWORD="password" gunicorn python-ci:app --chdir src -k gevent

gunicorn python-ci:app --chdir server/src -k gevent