From 7df15d175e7fab8678feec9290241d9ffbffc7fd Mon Sep 17 00:00:00 2001
From: Roman Yurchak <rth.yurchak@gmail.com>
Date: Wed, 31 Mar 2021 21:53:15 +0200
Subject: [PATCH] MAINT Set shm size to 2GB in run_docker (#1401)

---
 run_docker | 1 +
 1 file changed, 1 insertion(+)

diff --git a/run_docker b/run_docker
index af9e4f706..9aa1440b6 100755
--- a/run_docker
+++ b/run_docker
@@ -74,5 +74,6 @@ exec docker run \
     -it --rm \
     -v $PWD:/src \
     --user root -e NB_UID=$UID -e NB_GID=$GID \
+    --shm-size 2g \
     "${PYODIDE_DOCKER_IMAGE}" \
     /bin/bash