Allow selecting a TeX Live image for a project

2026-11-14 14:13:43 +01:00 · 2025-04-09 15:31:36 +02:00
parent 4cfec830b3
commit c683551e65
5 changed files with 14 additions and 15 deletions
@@ -470,13 +470,7 @@ if (process.env.SANDBOXED_COMPILES === 'true') {
    dockerRunner: true,
    docker: {
      image: process.env.TEX_LIVE_DOCKER_IMAGE,
-      env: {
-        HOME: '/tmp',
-        PATH:
-          process.env.COMPILER_PATH ||
-          '/usr/local/bin:/usr/bin:/bin',
-      },
-      user: 'www-data',
+      user:  process.env.TEX_LIVE_DOCKER_USER || 'www-data',
    }
  }