fix docker plugin

turkman-linux · May 5, 2024 · 515692f · 515692f
1 parent 0fb8222
commit 515692f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/data/code-runner-plugins/docker b/data/code-runner-plugins/docker
@@ -1,7 +1,7 @@
 #!/bin/bash
 set -e
 if [[ "$ACTION" == "init" ]] ; then
-    container=$(docker run -it --env-file=<(cat /proc/self/environ | tr '\0' '\n') -d -v "$DIRECTORY":/root "$IMAGE")
+    container=$(docker run -it --env-file=<(cat /proc/self/environ | tr '\0' '\n') -d -v "$DIRECTORY":/root "$IMAGE" /bin/sh)
     echo "container=$container" > .init
 elif [[ "$ACTION" == "run" ]] ; then
     source .init