# HG changeset patch
# User wenzelm
# Date 1645797707 -3600
# Node ID f9d2a9e94138b073aea603e1225977b7ec86d92e
# Parent  1ef43607aef246af8b068cfed83cf2a5a01e3a0c
clarified extension name;

diff -r 1ef43607aef2 -r f9d2a9e94138 src/Tools/VSCode/README.md
--- a/src/Tools/VSCode/README.md	Fri Feb 25 14:42:38 2022 +0100
+++ b/src/Tools/VSCode/README.md	Fri Feb 25 15:01:47 2022 +0100
@@ -19,7 +19,7 @@
 
 * Shell commands within $ISABELLE_HOME directory:
 
-    isabelle vscode --uninstall-extension makarius.Isabelle
+    isabelle build_vscode -U
     isabelle vscode src/Tools/VSCode/extension
 
 * VSCode commands:
diff -r 1ef43607aef2 -r f9d2a9e94138 src/Tools/VSCode/extension/package-lock.json
--- a/src/Tools/VSCode/extension/package-lock.json	Fri Feb 25 14:42:38 2022 +0100
+++ b/src/Tools/VSCode/extension/package-lock.json	Fri Feb 25 15:01:47 2022 +0100
@@ -1,11 +1,11 @@
 {
-    "name": "Isabelle",
+    "name": "isabelle-vscode",
     "version": "2.0.0",
     "lockfileVersion": 2,
     "requires": true,
     "packages": {
         "": {
-            "name": "Isabelle",
+            "name": "isabelle-vscode",
             "version": "2.0.0",
             "license": "MIT",
             "dependencies": {
diff -r 1ef43607aef2 -r f9d2a9e94138 src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Fri Feb 25 14:42:38 2022 +0100
+++ b/src/Tools/VSCode/extension/package.json	Fri Feb 25 15:01:47 2022 +0100
@@ -1,7 +1,7 @@
 {
-    "name": "Isabelle",
-    "displayName": "Isabelle",
-    "description": "Isabelle Prover IDE",
+    "name": "isabelle-vscode",
+    "displayName": "Isabelle/VSCode",
+    "description": "Isabelle/VSCode Prover IDE",
     "keywords": [
         "theorem prover",
         "formalized mathematics",
@@ -11,7 +11,7 @@
     ],
     "icon": "isabelle.png",
     "version": "2.0.0",
-    "publisher": "makarius",
+    "publisher": "isabelle",
     "license": "MIT",
     "repository": {
         "url": "https://isabelle-dev.sketis.net"
diff -r 1ef43607aef2 -r f9d2a9e94138 src/Tools/VSCode/src/build_vscode.scala
--- a/src/Tools/VSCode/src/build_vscode.scala	Fri Feb 25 14:42:38 2022 +0100
+++ b/src/Tools/VSCode/src/build_vscode.scala	Fri Feb 25 15:01:47 2022 +0100
@@ -31,7 +31,7 @@
   /* extension */
 
   def uninstall_extension(progress: Progress = new Progress): Unit =
-    progress.bash("isabelle vscode --uninstall-extension makarius.Isabelle").check
+    progress.bash("isabelle vscode --uninstall-extension isabelle.isabelle-vscode").check
 
   def install_extension(vsix_path: Path, progress: Progress = new Progress): Unit =
     progress.bash("isabelle vscode --install-extension " +
@@ -48,7 +48,7 @@
       progress.bash("npm install && npm update --dev && vsce package",
         cwd = extension_dir.file, echo = true).check
 
-    val Pattern = """.*Packaged:.*(Isabelle-.*\.vsix).*""".r
+    val Pattern = """.*Packaged:.*(isabelle-vscode-.*\.vsix).*""".r
     result.out_lines.collectFirst(
       { case Pattern(vsix_name) => extension_dir + Path.basic(vsix_name) })
       .getOrElse(error("Failed to guess resulting .vsix file name"))