code: Release 0.13.3

rune-rs · Jul 27, 2024 · 92f7204 · 92f7204
1 parent a29629b
commit 92f7204
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 2 deletions.
diff --git 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
@@ -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
@@ -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) {