Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned message, following "isabelle components -a";
authorwenzelm
Wed, 25 Jan 2023 20:52:36 +0100
changeset 77098 9d6118cdc0fd
parent 77097 023273cf2651
child 77099 378bb7a739c3
tuned message, following "isabelle components -a";
src/Pure/System/components.scala file | annotate | diff | comparison | revisions 
--- 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,
isabelle