diff options
Diffstat (limited to 'extension/src')
| -rw-r--r-- | extension/src/util/vscode.ts | 16 | 
1 files changed, 13 insertions, 3 deletions
| diff --git a/extension/src/util/vscode.ts b/extension/src/util/vscode.ts index 861ecd14..92bbc110 100644 --- a/extension/src/util/vscode.ts +++ b/extension/src/util/vscode.ts @@ -104,13 +104,23 @@ export function openEditorAndRevealRange(    });  } +function windowsToPosix(windowsPath: string): string { +  let posixPath = windowsPath.split("\\").join("/"); +  if (posixPath[1] === ":") { +    posixPath = posixPath.slice(2); +  } +  posixPath = posixPath.replace(" ", "\\ "); +  return posixPath; +} +  export function uriFromFilePath(filepath: string): vscode.Uri {    if (vscode.env.remoteName) {      if ( -      vscode.env.remoteName === "wsl" || -      vscode.env.remoteName === "ssh-remote" +      (vscode.env.remoteName === "wsl" || +        vscode.env.remoteName === "ssh-remote") && +      process.platform === "win32"      ) { -      filepath = filepath.replace(/\\/g, "/"); +      filepath = windowsToPosix(filepath);      }      return vscode.Uri.parse(        `vscode-remote://${vscode.env.remoteName}${filepath}` | 
