Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update scripts, based on recent "yo code" template;
authorwenzelm
Fri, 25 Feb 2022 15:59:37 +0100
changeset 75150 6f3f1e13e1e3
parent 75149 105820b79d8f
child 75151 ef4ab304cc94
update scripts, based on recent "yo code" template;
src/Tools/VSCode/extension/package.json file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/extension/package.json	Fri Feb 25 15:47:47 2022 +0100
+++ b/src/Tools/VSCode/extension/package.json	Fri Feb 25 15:59:37 2022 +0100
@@ -318,8 +318,9 @@
         }
     },
     "scripts": {
-        "vscode:prepublish": "tsc -p ./",
-        "compile": "tsc -watch -p ./"
+        "vscode:prepublish": "npm run compile",
+        "compile": "tsc -p ./",
+        "watch": "tsc -watch -p ./"
     },
     "devDependencies": {
         "@types/mocha": "^9.1.0",
isabelle