Function maskRootdir

lib/utils.ts:106–118

(filepath: string)

 *  note: will keep /app/ if instead of filepath something like '-I/tmp/path' is used
 */
export function maskRootdir(filepath: string): string {
    if (filepath) {
        if (process.platform === 'win32') {
            // todo: should also use temp_prefix here
            return filepath
                .replace(/^C:\/Users\/[\w\d-.]*\/AppData\/Local\/Temp\/compiler-explorer-compiler[\w\d-.]*\//, '/app/')
                .replace(/^\/app\//, '');
        }
        const re = getRegexForTempdir();
        return filepath.replace(re, '/app/').replace(/^\/app\//, '');
    }
    return filepath;
}

export function changeExtension(filename: string, newExtension: string): string {
    const lastDot = filename.lastIndexOf('.');