Function replaceProgInPath

src/backend/symbols.ts:87–100

(filepath: string, search: string | RegExp, replace: string)

// Replace last part of the path containing a program to another. If search string not found
// or replacement the same as search string, then null is returned
function replaceProgInPath(filepath: string, search: string | RegExp, replace: string): string {
    if (os.platform() === 'win32') {
        filepath = filepath.toLowerCase().replace(/\\/g, '/');
    }
    const ix = filepath.lastIndexOf('/');
    const prefix = (ix >= 0) ? filepath.substring(0, ix + 1) : '' ;
    const suffix = filepath.substring(ix + 1);
    const replaced = suffix.replace(search, replace);
    if (replaced === suffix) {
        return null;
    }
    const ret = prefix + replaced;
    return ret;
}

const trace = true;