# HG changeset patch
# User wenzelm
# Date 1645800467 -3600
# Node ID 105820b79d8f761d2f7b941eb26c3b171bc2ee95
# Parent  90678a1929a31a28f871283d8478798b7a9033d2
clarified extension name (again), corresponding to qualified resources within VSCode (settings, commands, etc.);

diff -r 90678a1929a3 -r 105820b79d8f src/Tools/VSCode/extension/package-lock.json
--- a/src/Tools/VSCode/extension/package-lock.json	Fri Feb 25 15:33:06 2022 +0100
+++ b/src/Tools/VSCode/extension/package-lock.json	Fri Feb 25 15:47:47 2022 +0100
@@ -1,11 +1,11 @@
 {
-    "name": "isabelle-vscode",
+    "name": "isabelle",
     "version": "2.0.0",
     "lockfileVersion": 2,
     "requires": true,
     "packages": {
         "": {
-            "name": "isabelle-vscode",
+            "name": "isabelle",
             "version": "2.0.0",
             "license": "MIT",
             "dependencies": {
diff -r 90678a1929a3 -r 105820b79d8f src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Fri Feb 25 15:33:06 2022 +0100
+++ b/src/Tools/VSCode/extension/package.json	Fri Feb 25 15:47:47 2022 +0100
@@ -1,5 +1,5 @@
 {
-    "name": "isabelle-vscode",
+    "name": "isabelle",
     "displayName": "Isabelle/VSCode",
     "description": "Isabelle/VSCode Prover IDE",
     "keywords": [
diff -r 90678a1929a3 -r 105820b79d8f src/Tools/VSCode/src/build_vscode.scala
--- a/src/Tools/VSCode/src/build_vscode.scala	Fri Feb 25 15:33:06 2022 +0100
+++ b/src/Tools/VSCode/src/build_vscode.scala	Fri Feb 25 15:47:47 2022 +0100
@@ -31,7 +31,7 @@
   /* extension */
 
   def uninstall_extension(progress: Progress = new Progress): Unit =
-    progress.bash("isabelle vscode --uninstall-extension isabelle.isabelle-vscode").check
+    progress.bash("isabelle vscode --uninstall-extension isabelle.isabelle").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-vscode-.*\.vsix).*""".r
+    val Pattern = """.*Packaged:.*(isabelle-.*\.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"))