Allow selecting a TeX Live image for a project

2026-11-12 13:13:45 +01:00 · 2026-09-18 20:42:00 +02:00
parent e76dc99a6f
commit 79c2579d3b
4 changed files with 618 additions and 8 deletions
@@ -506,13 +506,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',
    }
  }