diff --git a/editors/code/README.md b/editors/code/README.md index 55133149f..a993b2085 100644 --- a/editors/code/README.md +++ b/editors/code/README.md @@ -56,7 +56,7 @@ If you want to see detailed diagnostics of your program while it's running, you can use: ```text -cargo run --bin rune -- run scripts/hello_world.rn --dump-unit --trace --dump-vm +cargo run --bin rune -- run scripts/hello_world.rn --dump --trace ``` See `--help` for more information. diff --git a/editors/code/package.json b/editors/code/package.json index 05fa3201b..718c06344 100644 --- a/editors/code/package.json +++ b/editors/code/package.json @@ -5,7 +5,7 @@ "preview": true, "private": true, "icon": "assets/logo.png", - "version": "0.13.2", + "version": "0.13.3", "releaseTag": null, "publisher": "udoprog", "repository": { diff --git a/editors/code/src/ctx.ts b/editors/code/src/ctx.ts index 858dd772c..cd406742d 100644 --- a/editors/code/src/ctx.ts +++ b/editors/code/src/ctx.ts @@ -464,17 +464,22 @@ function detectPlatform(): [String, String] | undefined { switch (process.platform) { case "win32": platform = "windows"; + break; case "linux": platform = "linux"; + break; case "darwin": platform = "macos"; + break; } switch (process.arch) { case "x64": arch = "x86_64"; + break; case "arm64": arch = "aarch64"; + break; } if (!platform || !arch) {