Skip to content
Snippets Groups Projects
Select Git revision
  • 54d9ea50aa3fe2637c7deba19d1b05f6a07f3238
  • master default protected
  • docs-improve_user_path_description
  • fix-pipeline
  • ci-change_exercises_image_registry
  • feat-merge_recorder_in_extension
  • feat-default_folder
  • feat-change_user
  • develop protected
  • refactor-mission
  • feat-exercise_automatic_save
  • docs-improve_documentation
  • feat-create_little_container_for_developer
  • feat-local-dev
  • 0.1.12
  • 0.1.11
  • 0.1.10
  • 0.1.5
18 results

build.sh

Blame
  • 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';