Function globToFileRegexp

packages/web/tools/globToRegexpPlayground.ts:17–22

(glob: string)

}

function globToFileRegexp(glob: string): string {
    const re = globToRegexp(glob, { extended: true, globstar: true });
    // Strip ^ anchor — Sourcebot file paths include the full repo-relative path,
    // so the pattern shouldn't be anchored to the start.
    return re.source.replace(/^\^/, '');
}

function buildRipgrepCommand({ pattern, path, include }: SearchInput): string {
    const parts = ['rg', `"${pattern.replace(/"/g, '\\"')}"`];