Select Git revision
config.prod.ts 386 B
import * as path from 'path';
// FINAL CONFIG
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 DOCS_PATH = path.join('/home/theia/docs');
export const BRIEFING_FILE_NAME = 'briefing.md';