# HG changeset patch
# User wenzelm
# Date 1674556256 -3600
# Node ID 72d87e32b0629fdcb2eb09b17dc8458f018d7cc8
# Parent  a5d3f3c07de87380cb66c915964c483822a5de05
proper ssh.bash_path;

diff -r a5d3f3c07de8 -r 72d87e32b062 src/Pure/System/components.scala
--- a/src/Pure/System/components.scala	Mon Jan 23 22:33:25 2023 +0100
+++ b/src/Pure/System/components.scala	Tue Jan 24 11:30:56 2023 +0100
@@ -57,7 +57,7 @@
     val name = Archive.get_name(archive.file_name)
     progress.echo("Unpacking " + name)
     ssh.execute(
-      "tar -C " + File.bash_path(dir) + " -x -z -f " + File.bash_path(archive),
+      "tar -C " + ssh.bash_path(dir) + " -x -z -f " + ssh.bash_path(archive),
       progress_stdout = progress.echo,
       progress_stderr = progress.echo).check
     name