diff options
| author |  MarkKoz <[email protected]> | 2019-12-28 13:31:06 -0800 |
|---|---|---|
| committer | MarkKoz <[email protected]> | 2019-12-28 13:31:06 -0800 |
| commit | 0e88b92e4b59e2cf460fe1c9fa08a38a3a2acba0 (patch) | |
| tree | 2bcdb0add93ab184c763d27aae4990489c119594 /scripts/dev.sh | |
| parent | Merge pull request #53 from python-discord/limit-numpy-threads (diff) | |
Disable shared memory in Docker container
Diffstat (limited to 'scripts/dev.sh')
| -rwxr-xr-x | scripts/dev.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/dev.sh b/scripts/dev.sh index 6aeb1de..0275651 100755 --- a/scripts/dev.sh +++ b/scripts/dev.sh @@ -40,6 +40,7 @@ docker run \ --privileged \ --network host \ --hostname pdsnk-dev \ + --ipc="none" \ -e PYTHONDONTWRITEBYTECODE=1 \ -e PIPENV_PIPFILE="/snekbox/Pipfile" \ -e BASH_ENV="${PWD}/scripts/.profile" \ |