Allow selecting a TeX Live image for a project

2026-11-14 14:13:43 +01:00 · 2025-01-26 15:53:38 +01:00
parent e992cfca64
commit 1fbbfe176f
5 changed files with 14 additions and 15 deletions
@@ -466,13 +466,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',
    }
  }