diff options
| author |  Mark <[email protected]> | 2020-02-05 12:20:54 -0800 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2020-02-05 12:20:54 -0800 |
| commit | 504a6b9af1bafe87ea093f235562fb8af55ea406 (patch) | |
| tree | 4a8ccf9f7be27b110bea9558030e402aea43c9b0 /scripts/dev.sh | |
| parent | Update CODEOWNERS (diff) | |
| parent | Merge branch 'master' into proper-chroot (diff) | |
Merge pull request #55 from python-discord/proper-chroot
Configure a proper chroot jail for NsJail
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" \ |