equal
deleted
inserted
replaced
212 } |
212 } |
213 path |
213 path |
214 } |
214 } |
215 |
215 |
216 def read_dir(path: Path): List[String] = |
216 def read_dir(path: Path): List[String] = |
217 run_sftp("@ls -1 -a " + sftp_path(path)).out_lines.flatMap(s => |
217 run_sftp("@cd " + sftp_path(path) + "\n@ls -1 -a").out_lines.flatMap(s => |
218 if (s == "." || s == ".." || s.endsWith("/.") || s.endsWith("/..")) None |
218 if (s == "." || s == "..") None |
219 else Some(Library.perhaps_unprefix("./", s))) |
219 else Some(Library.perhaps_unprefix("./", s))) |
220 |
220 |
221 private def get_file[A](path: Path, f: Path => A): A = { |
221 private def get_file[A](path: Path, f: Path => A): A = { |
222 var result: Option[A] = None |
222 var result: Option[A] = None |
223 run_sftp("get -p " + sftp_path(path) + " local", |
223 run_sftp("get -p " + sftp_path(path) + " local", |