src/Pure/General/ssh.scala
changeset 76119 e5cfb05d312e
parent 76118 e8e3b60d8ecd
child 76122 b8f26c20d3b1
equal deleted inserted replaced
76118:e8e3b60d8ecd 76119:e5cfb05d312e
   310     }
   310     }
   311     override def expand_path(path: Path): Path = path.expand_env(settings)
   311     override def expand_path(path: Path): Path = path.expand_env(settings)
   312     def remote_path(path: Path): String = expand_path(path).implode
   312     def remote_path(path: Path): String = expand_path(path).implode
   313     override def bash_path(path: Path): String = Bash.string(remote_path(path))
   313     override def bash_path(path: Path): String = Bash.string(remote_path(path))
   314 
   314 
   315     def chmod(permissions: Int, path: Path): Unit = sftp.chmod(permissions, remote_path(path))
       
   316     def rm(path: Path): Unit = sftp.rm(remote_path(path))
   315     def rm(path: Path): Unit = sftp.rm(remote_path(path))
   317     def mkdir(path: Path): Unit = sftp.mkdir(remote_path(path))
       
   318 
   316 
   319     private def test_entry(path: Path, as_dir: Boolean): Boolean =
   317     private def test_entry(path: Path, as_dir: Boolean): Boolean =
   320       try {
   318       try {
   321         val is_dir = sftp.stat(remote_path(path)).isDir
   319         val is_dir = sftp.stat(remote_path(path)).isDir
   322         if (as_dir) is_dir else !is_dir
   320         if (as_dir) is_dir else !is_dir