2018-10-08 19:33:33 +00:00
|
|
|
#!/bin/sh
|
2018-12-11 07:56:51 +00:00
|
|
|
|
2019-03-21 14:49:50 +00:00
|
|
|
PYODIDE_DOCKER_PORT=${PYODIDE_DOCKER_PORT:-"8000"}
|
|
|
|
PYODIDE_SYSTEM_PORT=${PYODIDE_SYSTEM_PORT:-"8000"}
|
2020-07-08 22:37:02 +00:00
|
|
|
PYODIDE_DOCKER_IMAGE=${PYODIDE_DOCKER_IMAGE:-"iodide/pyodide-env:0.16.1"}
|
2019-03-21 14:49:50 +00:00
|
|
|
|
|
|
|
exec docker run \
|
|
|
|
-p $PYODIDE_SYSTEM_PORT:$PYODIDE_DOCKER_PORT \
|
|
|
|
-it --rm \
|
|
|
|
-v $PWD:/src \
|
|
|
|
--user root -e NB_UID=$UID -e NB_GID=$GID \
|
|
|
|
${PYODIDE_DOCKER_IMAGE} \
|
|
|
|
/bin/bash
|