# HG changeset patch
# User wenzelm
# Date 1674676356 -3600
# Node ID 9d6118cdc0fd7269fff12c6afa0675ca67d50118
# Parent  023273cf26511c58cf98c57aba62f97864adf1f9
tuned message, following "isabelle components -a";

diff -r 023273cf2651 -r 9d6118cdc0fd src/Pure/System/components.scala
--- a/src/Pure/System/components.scala	Wed Jan 25 20:42:24 2023 +0100
+++ b/src/Pure/System/components.scala	Wed Jan 25 20:52:36 2023 +0100
@@ -80,7 +80,7 @@
     progress: Progress = new Progress
   ): String = {
     val name = Archive.get_name(archive.file_name)
-    progress.echo("Unpacking " + name)
+    progress.echo("Unpacking " + archive.base)
     ssh.execute(
       "tar -C " + ssh.bash_path(dir) + " -x -z -f " + ssh.bash_path(archive),
       progress_stdout = progress.echo,