mirror of https://github.com/pyodide/pyodide.git
161 lines
4.0 KiB
Bash
Executable File
161 lines
4.0 KiB
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
PYODIDE_IMAGE_REPO="pyodide"
|
|
PYODIDE_IMAGE_TAG="20241028-chrome130-firefox131"
|
|
DEFAULT_PYODIDE_DOCKER_IMAGE="${PYODIDE_IMAGE_REPO}/pyodide-env:${PYODIDE_IMAGE_TAG}"
|
|
DEFAULT_PYODIDE_SYSTEM_PORT="none"
|
|
DOCKER_COMMAND="/bin/bash"
|
|
DOCKER_INTERACTIVE="--interactive"
|
|
|
|
|
|
USER_HOME="/src/.docker_home"
|
|
USER_NAME="$(id -u -n)"
|
|
USER_ID="$(id -u)"
|
|
USER_GID="$(id -g)"
|
|
USER_COMMENT_FIELD="${USER_NAME} pyodide user alias"
|
|
USER_INTERPRETER="/sbin/nologin"
|
|
USER_FLAG=("--user" "$USER_ID:$USER_GID")
|
|
HEALTHCHECK_MESSAGE="Done initialization"
|
|
|
|
set -eo pipefail
|
|
|
|
# If docker does not exist, podman is used instead.
|
|
if ! command -v docker &> /dev/null; then
|
|
USER_FLAG=()
|
|
docker() {
|
|
podman "$@"
|
|
}
|
|
fi
|
|
|
|
|
|
function usage() {
|
|
cat > /dev/stdout <<EOF
|
|
Usage: run_docker [OPTIONS] [COMMAND] [ARG...]
|
|
|
|
Runs COMMAND in a new Pyodide docker container. If no COMMAND is provided, starts a bash
|
|
shell in the container.
|
|
|
|
Options:
|
|
-h, --help Show this information and exit.
|
|
-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.
|
|
--non-interactive Run docker without the --interactive flag.
|
|
Useful for running in headless mode on CI server.
|
|
--root Run as root user inside the container
|
|
|
|
Prerequisites:
|
|
Docker has to be set up on your system.
|
|
EOF
|
|
}
|
|
|
|
function error() {
|
|
usage
|
|
exit 255
|
|
}
|
|
|
|
while [[ $# -gt 0 ]]
|
|
do
|
|
key="$1"
|
|
case $key in
|
|
-h|--help)
|
|
usage
|
|
exit 0
|
|
;;
|
|
-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"
|
|
else
|
|
PYODIDE_SYSTEM_PORT=$2
|
|
fi
|
|
shift 2
|
|
;;
|
|
--non-interactive)
|
|
DOCKER_INTERACTIVE="--interactive=false"
|
|
shift
|
|
;;
|
|
--root)
|
|
USER_FLAG=()
|
|
shift
|
|
;;
|
|
-*)
|
|
>&2 echo "Unknown option $1"
|
|
error
|
|
;;
|
|
*)
|
|
DOCKER_COMMAND="$*"
|
|
break
|
|
;;
|
|
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 $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 '$PYODIDE_SYSTEM_PORT'. Port binding disabled."
|
|
PORT_CONFIGURATION_LINE=()
|
|
;;
|
|
*)
|
|
PORT_CONFIGURATION_LINE=("-p" "$PYODIDE_SYSTEM_PORT:$PYODIDE_DOCKER_PORT")
|
|
;;
|
|
esac
|
|
|
|
mkdir -p .docker_home
|
|
|
|
# Start a detached container as root, add the host uname and uid to /etc/passwd,
|
|
# then run forever
|
|
cat << EOF >.docker_home/entrypoint.sh
|
|
groupadd --gid '$USER_GID' '$USER_NAME';
|
|
useradd\
|
|
--home '$USER_HOME'\
|
|
--uid '$USER_ID'\
|
|
--gid '$USER_GID'\
|
|
--comment '$USER_COMMENT_FIELD'\
|
|
--shell '$USER_INTERPRETER'\
|
|
--groups sudo\
|
|
$USER_NAME\
|
|
;
|
|
echo 'export PATH=\$PATH:$USER_HOME/.local/bin' >> /etc/profile;
|
|
echo '%sudo ALL=(ALL:ALL) NOPASSWD:ALL' >> /etc/sudoers ;
|
|
echo '$HEALTHCHECK_MESSAGE';
|
|
tail -f /dev/null
|
|
EOF
|
|
|
|
CONTAINER=$(\
|
|
docker run \
|
|
"${PORT_CONFIGURATION_LINE[@]}" \
|
|
-d --rm \
|
|
-v "$PWD":/src \
|
|
--user root \
|
|
--shm-size 2g \
|
|
"${PYODIDE_DOCKER_IMAGE}" \
|
|
/bin/bash .docker_home/entrypoint.sh \
|
|
)
|
|
|
|
until docker logs "$CONTAINER" 2>&1 | grep -q "$HEALTHCHECK_MESSAGE"; do
|
|
echo "Waiting for initialization to finish..."
|
|
sleep 0.2
|
|
done
|
|
|
|
EXIT_STATUS=0
|
|
# Execute the provided command as the host user with HOME=/src
|
|
docker exec \
|
|
"$DOCKER_INTERACTIVE" --tty \
|
|
"${USER_FLAG[@]}" \
|
|
"$CONTAINER" \
|
|
/bin/bash -lc "${DOCKER_COMMAND}" || EXIT_STATUS=$?
|
|
|
|
docker kill "$CONTAINER" > /dev/null
|
|
exit $EXIT_STATUS
|