Add configurable PUBLIC_URL for docker images

docker/README.md

@@ -162,6 +162,11 @@ docker run \
   CodeCompass_webserver -w /workspace
 ```
 
+If you want to edit the public URL of the web GUI, you can do this by appending the
+`-e APP_BASE_PATH=/YOUR_PATH` command option to the previous run command.
+Leaving this out of the command will start the web interface with no set path.
+The new GUI will still be accessible in the /new path appended to the end of your URL.
+
 # Official DockerHub images
 
 Prebuilt images can be downloaded from DockerHub, from the 

docker/web/Dockerfile

@@ -76,4 +76,5 @@ EXPOSE 8080
 
 ENTRYPOINT ["tini", "--", "/usr/local/bin/entrypoint.sh"]
 
-CMD ["CodeCompass_webserver", "-w", "/workspace", "-p", "8080"]
+CMD ["sh", "-c", "node ../../webgui-new/scripts/patch-basepath.js && CodeCompass_webserver -w /workspace -p 8080"]
+

webgui-new/next.config.js

@@ -2,6 +2,8 @@
 
 require('dotenv').config();
 
+const BASE_PLACEHOLDER = '/__URL_BASE_PATH__';
+
 /** @type {import('next').NextConfig} */
 const nextConfig = {
   output: 'export',
@@ -13,8 +15,8 @@ const nextConfig = {
   },
   trailingSlash: true,
   ...(process.env.NODE_ENV === 'production' && {
-    assetPrefix: `${process.env.PUBLIC_URL || ''}/new`,
-    basePath: `${process.env.PUBLIC_URL || ''}/new`,
+    assetPrefix: `${process.env.PUBLIC_URL || ''}${BASE_PLACEHOLDER}`,
+    basePath: `${process.env.PUBLIC_URL || ''}${BASE_PLACEHOLDER}`,
   }),
 };