From a88000281f2c8f6fa0ab61f42bd1ee4ac5f51bfc Mon Sep 17 00:00:00 2001 From: Brian Gough Date: Mon, 15 Jun 2020 15:49:38 +0100 Subject: [PATCH] add default settings to remove wordcount and synctex containers --- config/settings.defaults.js | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/config/settings.defaults.js b/config/settings.defaults.js index f3bb73b..3e115e8 100644 --- a/config/settings.defaults.js +++ b/config/settings.defaults.js @@ -102,7 +102,15 @@ if (process.env.DOCKER_RUNNER) { const compileGroupConfig = JSON.parse( process.env.COMPILE_GROUP_DOCKER_CONFIGS || '{}' ) - module.exports.clsi.docker.compileGroupConfig = compileGroupConfig + // Automatically clean up wordcount and synctex containers + const defaultCompileGroupConfig = { + wordcount: { 'HostConfig.AutoRemove': true }, + synctex: { 'HostConfig.AutoRemove': true } + } + module.exports.clsi.docker.compileGroupConfig = Object.assign( + defaultCompileGroupConfig, + compileGroupConfig + ) } catch (error) { console.error(error, 'could not apply compile group docker configs') process.exit(1)