# HG changeset patch
# User wenzelm
# Date 1654452872 -7200
# Node ID 36316c6a3fc23667c1c1b9de8346a1d58bba799e
# Parent  2251548ec4a8e175d873b1f5aaca0c9a82d33b11
clarified signature: more operations;

diff -r 2251548ec4a8 -r 36316c6a3fc2 src/Pure/General/ssh.scala
--- a/src/Pure/General/ssh.scala	Sun Jun 05 20:13:47 2022 +0200
+++ b/src/Pure/General/ssh.scala	Sun Jun 05 20:14:32 2022 +0200
@@ -439,8 +439,8 @@
 
     override def read_file(path: Path, local_path: Path): Unit =
       sftp.get(remote_path(path), File.platform_path(local_path))
-    def read_bytes(path: Path): Bytes = using(open_input(path))(Bytes.read_stream(_))
-    def read(path: Path): String = using(open_input(path))(File.read_stream)
+    override def read_bytes(path: Path): Bytes = using(open_input(path))(Bytes.read_stream(_))
+    override def read(path: Path): String = using(open_input(path))(File.read_stream)
 
     override def write_file(path: Path, local_path: Path): Unit =
       sftp.put(File.platform_path(local_path), remote_path(path))
@@ -503,6 +503,8 @@
     def with_tmp_dir[A](body: Path => A): A = Isabelle_System.with_tmp_dir("tmp")(body)
     def read_file(path1: Path, path2: Path): Unit = Isabelle_System.copy_file(path1, path2)
     def write_file(path1: Path, path2: Path): Unit = Isabelle_System.copy_file(path2, path1)
+    def read_bytes(path: Path): Bytes = Bytes.read(path)
+    def read(path: Path): String = File.read(path)
 
     def execute(command: String,
         progress_stdout: String => Unit = (_: String) => (),