# HG changeset patch
# User wenzelm
# Date 1645801962 -3600
# Node ID e7b7764d0977e423c8f9b6a480dcac76d2175330
# Parent  1011ae2b524c2a746e41c0b1c4e959f1110d33d2
clarified symbolic path;

diff -r 1011ae2b524c -r e7b7764d0977 src/Tools/VSCode/src/build_vscode.scala
--- a/src/Tools/VSCode/src/build_vscode.scala	Fri Feb 25 16:08:30 2022 +0100
+++ b/src/Tools/VSCode/src/build_vscode.scala	Fri Feb 25 16:12:42 2022 +0100
@@ -12,7 +12,7 @@
 
 object Build_VSCode
 {
-  val extension_dir = Path.explode("~~/src/Tools/VSCode/extension")
+  val extension_dir = Path.explode("$ISABELLE_VSCODE_HOME/extension")
 
 
   /* grammar */
@@ -23,7 +23,7 @@
     val keywords = Sessions.base_info(options, logic).check.base.overall_syntax.keywords
 
     val output_path = extension_dir + Path.explode(TextMate_Grammar.default_output(logic))
-    progress.echo(output_path.implode)
+    progress.echo(output_path.expand.implode)
     File.write_backup(output_path, TextMate_Grammar.generate(keywords))
   }
 
@@ -42,7 +42,7 @@
     val output_path = extension_dir + Path.explode("out")
     Isabelle_System.rm_tree(output_path)
     Isabelle_System.make_directory(output_path)
-    progress.echo(output_path.implode)
+    progress.echo(output_path.expand.implode)
 
     val result =
       progress.bash("npm install && npm update --dev && vsce package",