Unnamed repository; edit this file 'description' to name the repository.
| -rw-r--r-- | editors/code/src/main.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/main.ts b/editors/code/src/main.ts index da04eec92b..72eca0fcc2 100644 --- a/editors/code/src/main.ts +++ b/editors/code/src/main.ts @@ -286,7 +286,7 @@ async function patchelf(dest: vscode.Uri): Promise<void> { } `; const origFile = vscode.Uri.file(dest.fsPath + "-orig"); - await vscode.workspace.fs.rename(dest, origFile); + await vscode.workspace.fs.rename(dest, origFile, { overwrite: true }); progress.report({ message: "Patching executable", increment: 20 }); await new Promise((resolve, reject) => { const handle = exec(`nix-build -E - --argstr srcStr '${origFile.fsPath}' -o '${dest.fsPath}'`, |