From 385cdd6f0ca342b87ae484831cad03377289622f Mon Sep 17 00:00:00 2001 From: Brian Gough Date: Tue, 9 Jun 2020 11:22:28 +0100 Subject: [PATCH] add missing setting for optimiseInDocker --- config/settings.defaults.js | 1 + 1 file changed, 1 insertion(+) diff --git a/config/settings.defaults.js b/config/settings.defaults.js index 51cb624..d051cea 100644 --- a/config/settings.defaults.js +++ b/config/settings.defaults.js @@ -76,6 +76,7 @@ if (process.env.DOCKER_RUNNER) { socketPath: '/var/run/docker.sock', user: process.env.TEXLIVE_IMAGE_USER || 'tex' }, + optimiseInDocker: true, expireProjectAfterIdleMs: 24 * 60 * 60 * 1000, checkProjectsIntervalMs: 10 * 60 * 1000 }