Update editors/code/src/main.ts

Co-authored-by: Jeremy Kolb <kjeremy@gmail.com>
This commit is contained in:
Cabia Rangris 2020-05-21 17:50:28 +02:00 committed by GitHub
parent 8e0d776369
commit d7331b2d5d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -193,7 +193,7 @@ async function patchelf(dest: PathLike): Promise<void> {
await vscode.window.withProgress( await vscode.window.withProgress(
{ {
location: vscode.ProgressLocation.Notification, location: vscode.ProgressLocation.Notification,
title: "Patching rust-analysis for NixOS" title: "Patching rust-analyzer for NixOS"
}, },
async (progress, _) => { async (progress, _) => {
const patchPath = path.join(os.tmpdir(), "patch-ra.nix"); const patchPath = path.join(os.tmpdir(), "patch-ra.nix");