Update extension

koka-lang · Dec 19, 2024 · e285887 · e285887
1 parent e970576
commit e285887
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 8 deletions.
diff --git a/support/vscode/koka.language-koka/package.json b/support/vscode/koka.language-koka/package.json
@@ -16,6 +16,10 @@
   "files": [
     "syntaxes/*.json",
     "images/",
+    "out/",
+    "koka-configuration.json",
+    "node_modules/",
+    "package.json",
     "README.md",
     "whatsnew.md"
   ],
@@ -283,19 +287,19 @@
     }
   },
   "scripts": {
-    "build": "tsc && npx copyfiles -V ../../../whatsnew.md support/vscode/koka.language-koka/ && vsce package",
+    "build": "tsc && npx copyfiles -V ../../../whatsnew.md support/vscode/koka.language-koka/ && vsce package --allow-unused-files-pattern",
     "compile": "tsc",
     "watch": "tsc -w",
     "readme": "npx copyfiles -V ../../../whatsnew.md support/vscode/koka.language-koka/",
-    "package": "vsce package",
+    "package": "vsce package --allow-unused-files-pattern",
     "publish": "vsce publish"
   },
   "devDependencies": {
-    "@types/node": "^20.5.6",
+    "@types/node": "^22.10.2",
     "@types/vscode": "1.85.0",
-    "@vscode/vsce": "2.24.0",
-    "@types/semver": "^7.5.6",
-    "typescript": "^5.2.2",
+    "@vscode/vsce": "3.2.1",
+    "@types/semver": "^7.5.8",
+    "typescript": "^5.7.2",
     "copyfiles": "^2.4.1"
   },
   "dependencies": {

diff --git a/support/vscode/koka.language-koka/src/extension.ts b/support/vscode/koka.language-koka/src/extension.ts
@@ -293,7 +293,7 @@ function createCommands(
         compilerArgs,
         programArgs
       }
-      console.log(`Launch config ${launchConfig}`)
+      console.log(`Launch config`, launchConfig)
       vscode.debug.startDebugging(vscode.workspace.getWorkspaceFolder(resource), launchConfig as vscode.DebugConfiguration)
     }),
 
@@ -309,7 +309,7 @@ function createCommands(
         compilerArgs,
         programArgs
       }
-      console.log(`Launch config ${launchConfig}`)
+      console.log(`Launch config`, launchConfig)
       vscode.debug.startDebugging(vscode.workspace.getWorkspaceFolder(resource), launchConfig as vscode.DebugConfiguration)
     }),