mirror of https://github.com/pyodide/pyodide.git
96 lines
2.6 KiB
Bash
Executable File
96 lines
2.6 KiB
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
set -eo pipefail
|
|
|
|
|
|
function usage() {
|
|
cat > /dev/stdout <<EOF
|
|
Usage:
|
|
run_docker [OPTIONS]
|
|
|
|
Optional flags:
|
|
-h, --help Show this information and exit
|
|
--pre-built Use the prebuilt pyodide image.
|
|
This is ignored if the env var PYODIDE_DOCKER_IMAGE is set
|
|
-p, --port <port> System port to which to forward.
|
|
This is ignored if the env var PYODIDE_SYSTEM_PORT is set
|
|
If set to 'none', docker instance will not bind to any port
|
|
(Useful for running the docker in multi-user environment)
|
|
|
|
Prerequisites:
|
|
Docker has to be set up on your system
|
|
EOF
|
|
}
|
|
|
|
function error() {
|
|
usage
|
|
exit 255
|
|
}
|
|
|
|
|
|
PYODIDE_IMAGE_TAG="12"
|
|
PYODIDE_PREBUILT_IMAGE_TAG="0.17.0a2"
|
|
DEFAULT_PYODIDE_DOCKER_IMAGE="iodide/pyodide-env:${PYODIDE_IMAGE_TAG}"
|
|
DEFAULT_PYODIDE_SYSTEM_PORT="8000"
|
|
|
|
while [[ $# -gt 0 ]]
|
|
do
|
|
key="$1"
|
|
case $key in
|
|
-h|--help)
|
|
usage
|
|
exit 0
|
|
;;
|
|
--pre-built)
|
|
if [[ -n ${PYODIDE_DOCKER_IMAGE} ]]; then
|
|
echo "WARNING: will use the env var PYODIDE_DOCKER_IMAGE=${PYODIDE_DOCKER_IMAGE},
|
|
the flag --pre-built has no effect"
|
|
fi
|
|
DEFAULT_PYODIDE_DOCKER_IMAGE="iodide/pyodide:${PYODIDE_PREBUILT_IMAGE_TAG}"
|
|
shift
|
|
;;
|
|
-p|--port)
|
|
if [ "$#" -lt 2 ]; then
|
|
>&2 echo "port cannot be empty"
|
|
error
|
|
fi
|
|
if [[ -n ${PYODIDE_SYSTEM_PORT} ]]; then
|
|
echo "WARNING: will use the env var PYODIDE_SYSTEM_PORT=${PYODIDE_SYSTEM_PORT} instead of the provided port"
|
|
fi
|
|
DEFAULT_PYODIDE_SYSTEM_PORT=$2
|
|
shift 2
|
|
;;
|
|
*)
|
|
>&2 echo "Unknown option $1"
|
|
error
|
|
;;
|
|
esac
|
|
done
|
|
|
|
PYODIDE_DOCKER_PORT=${PYODIDE_DOCKER_PORT:-"8000"}
|
|
PYODIDE_SYSTEM_PORT=${PYODIDE_SYSTEM_PORT:-${DEFAULT_PYODIDE_SYSTEM_PORT}}
|
|
PYODIDE_DOCKER_IMAGE=${PYODIDE_DOCKER_IMAGE:-${DEFAULT_PYODIDE_DOCKER_IMAGE}}
|
|
|
|
# in case the port is not a number, do not bind the port
|
|
case $DEFAULT_PYODIDE_SYSTEM_PORT in
|
|
none)
|
|
PORT_CONFIGURATION_LINE=""
|
|
;;
|
|
''|*[!0-9]*) # contains a non-digit character, therefore it is not a number
|
|
echo "WARNING: Invalid port argument '$DEFAULT_PYODIDE_SYSTEM_PORT'. Port binding disabled."
|
|
PORT_CONFIGURATION_LINE=""
|
|
;;
|
|
*)
|
|
PORT_CONFIGURATION_LINE="-p $PYODIDE_SYSTEM_PORT:$PYODIDE_DOCKER_PORT"
|
|
;;
|
|
esac
|
|
|
|
exec docker run \
|
|
$PORT_CONFIGURATION_LINE \
|
|
-it --rm \
|
|
-v $PWD:/src \
|
|
--user root -e NB_UID=$UID -e NB_GID=$GID \
|
|
--shm-size 2g \
|
|
"${PYODIDE_DOCKER_IMAGE}" \
|
|
/bin/bash
|