Add setting for custom runtime of containers (#10)

This commit is contained in:
Manuel 2021-05-08 19:21:29 +02:00 committed by GitHub
parent 6598462227
commit d83283466c
Signed by: GitHub
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 14 additions and 3 deletions

View file

@ -95,7 +95,9 @@ setupContainer lang = do
cnt <- newContainerName lang
logInfo ["Setting up new container ", cs cnt]
exec_
[ "docker run --rm --name="
[ "docker run --runtime="
, cs $ lang ^. #runtime
, " --rm --name="
, cs cnt
-- User 1000 will be for setting up the environment
, " -u1000:1000 -w/tmp/ -dt --net=none --cpus="