| #!/bin/sh |
| |
| # In case when mapped user id by `docker run -u` is not created inside docker image |
| # The `$HOME` variable points to `/` - which prevents any tool to write to, as it requires root access |
| # In such case we set `$HOME` to `/tmp` as it should r/w for everyone |
| |
| if [ "$HOME" = "/" ] ; then |
| export HOME=/tmp |
| fi |
| |
| # In case of running as root, use `umask` to reduce problem of file permission on host |
| if [ "$(id -g)" = "0" ] && [ "$(id -u)" = "0" ] ; |
| then |
| umask 0000 |
| fi |
| |
| # Export this image specific Environment variables |
| # Those variables are important to use dedicated folder for all cache and predefined config file |
| export EM_CONFIG=/emsdk/.emscripten |
| export EM_CACHE=/emsdk/.data/cache |
| export EM_PORTS=/emsdk/.data/ports |
| |
| # Activate Emscripten SDK |
| . ${EMSDK}/emsdk_set_env.sh |
| |
| # Evaluate a command that's coming after `docker run` / `docker exec` |
| "$@" |