diff options
| author | Nate Sesti <sestinj@gmail.com> | 2023-08-28 14:27:12 -0700 |
|---|---|---|
| committer | Nate Sesti <sestinj@gmail.com> | 2023-08-28 14:27:12 -0700 |
| commit | 1b2341a0113fadf8c8d23097ef1041d3e3088e84 (patch) | |
| tree | 3fe318fbbbd3ce1567ac0c72d5e7149363119ecb /extension/src | |
| parent | 1c53f293a361445a96fbdbe2ba7c794984b069ab (diff) | |
| download | sncontinue-1b2341a0113fadf8c8d23097ef1041d3e3088e84.tar.gz sncontinue-1b2341a0113fadf8c8d23097ef1041d3e3088e84.tar.bz2 sncontinue-1b2341a0113fadf8c8d23097ef1041d3e3088e84.zip | |
fix: :bug: convert to correct path sep in wsl URIs
Diffstat (limited to 'extension/src')
| -rw-r--r-- | extension/src/util/vscode.ts | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/extension/src/util/vscode.ts b/extension/src/util/vscode.ts index 2283bfdc..78870330 100644 --- a/extension/src/util/vscode.ts +++ b/extension/src/util/vscode.ts @@ -105,6 +105,9 @@ export function openEditorAndRevealRange( export function uriFromFilePath(filepath: string): vscode.Uri { if (vscode.env.remoteName) { + if (vscode.env.remoteName === "wsl") { + filepath = filepath.replace(/\\/g, "/"); + } return vscode.Uri.parse( `vscode-remote://${vscode.env.remoteName}${filepath}` ); |