Function getFilePath

src/platform/common/platform/fs-paths.ts:29–43

(file: Uri | undefined)

    return undefined;
}
export function getFilePath(file: Uri | undefined) {
    const isWindows = getOSType() === OSType.Windows;
    if (file) {
        const fsPath = uriPath.originalFSPath(file);

        // Remove separator on the front if not a network drive.
        // Example, if you create a URI with Uri.file('hello world'), the fsPath will come out as '\Hello World' on windows. We don't want that
        // However if you create a URI from a network drive, like '\\mydrive\foo\bar\python.exe', we want to keep the \\ on the front.
        if (fsPath && fsPath.startsWith(path.sep) && fsPath.length > 1 && fsPath[1] !== path.sep && isWindows) {
            return fsPath.slice(1);
        }
        return fsPath || '';
    }
    return '';
}

export function getDisplayPath(
    filename: Uri | string | undefined,