Function stripEscapeSequences

Extension/src/common.ts:1479–1484

(str: string)

}

export function stripEscapeSequences(str: string): string {
    return str
        .replace(/\x1b\[\??[0-9]{0,3}(;[0-9]{1,3})?[a-zA-Z]/g, '')
        .replace(/\u0008/g, '')
        .replace(/\r/g, '');
}

export function splitLines(data: string): string[] {
    return data.split(/\r?\n/g);