fix: prod config

.gitlab-ci.yml

@@ -19,6 +19,7 @@ build:
   script:
     # setup config for extension
     - cp -rf ./deadlock-plugins/deadlock-extension/src/core/config.prod.ts ./deadlock-plugins/deadlock-extension/src/core/config.ts
+    - cat ./deadlock-plugins/deadlock-extension/src/core/config.ts
     - ./build.sh
     - docker login -u gitlab-ci-token -p $CI_JOB_TOKEN registry.e-biz.fr
     - docker build . -t $CI_REGISTRY_IMAGE

deadlock-plugins/deadlock-extension/src/core/config.prod.ts

@@ -4,8 +4,8 @@ import * as path from 'path';
 
 export const CONFIG_PATH = '/home/config/';
 export const USER_CHALLENGE_PATH = path.join(CONFIG_PATH, 'user-challenge.json');
-export const PROJECT_SRC_PATH = '/project'
-export const PROJECT_THEIA_PATH = path.join('/home/project/')
+export const PROJECT_SRC_PATH = '/project';
+export const PROJECT_THEIA_PATH = path.join('/home/project/');
 export const DOCS_PATH = path.join('/home/theia/docs');
 
 export const BRIEFING_FILE_NAME = 'briefing.md';
\ No newline at end of file