Allow selecting a TeX Live image for a project

services/web/app/src/Features/Project/ProjectOptionsHandler.js

@@ -24,7 +24,6 @@ const ProjectOptionsHandler = {
     if (!imageName || !Array.isArray(settings.allowedImageNames)) {
       return
     }
-    imageName = imageName.toLowerCase()
     const isAllowed = settings.allowedImageNames.find(
       allowed => imageName === allowed.imageName
     )
@@ -32,7 +31,7 @@ const ProjectOptionsHandler = {
       throw new Error(`invalid imageName: ${imageName}`)
     }
     const conditions = { _id: projectId }
-    const update = { imageName: settings.imageRoot + '/' + imageName }
+    const update = { imageName: imageName }
     return Project.updateOne(conditions, update, {})
   },
 

services/web/config/settings.defaults.js

@@ -1073,6 +1073,15 @@ module.exports = {
   managedUsers: {
     enabled: false,
   },
+
+  allowedImageNames: process.env.SANDBOXED_COMPILES === 'true'
+    ? parseTextExtensions(process.env.ALL_TEX_LIVE_DOCKER_IMAGES)
+        .map((imageName, index) => ({
+          imageName,
+          imageDesc: parseTextExtensions(process.env.ALL_TEX_LIVE_DOCKER_IMAGE_NAMES)[index]
+            || imageName.split(':')[1],
+        }))
+    : undefined,
 }
 
 module.exports.mergeWith = function (overrides) {