# HG changeset patch
# User wenzelm
# Date 1646512249 -3600
# Node ID 02e596048ab38c5bb6f33a7d8bd8c48499ceb5f8
# Parent  5e87e4fb68d2edd054a3bb825aafd7721c47330a
tuned message;

diff -r 5e87e4fb68d2 -r 02e596048ab3 src/Pure/Admin/build_vscodium.scala
--- a/src/Pure/Admin/build_vscodium.scala	Sat Mar 05 21:14:35 2022 +0100
+++ b/src/Pure/Admin/build_vscodium.scala	Sat Mar 05 21:30:49 2022 +0100
@@ -42,7 +42,7 @@
         Isabelle_System.download_file(vscodium_download + "/" + version + "/" + download_name,
           download_file, progress = progress)
 
-        progress.echo("Unpacking " + dir.expand)
+        progress.echo("Unpacking ...")
         if (download_zip) {
           Isabelle_System.bash("unzip -x " + File.bash_path(download_file), cwd = dir.file).check
         }