Plasma GitLab Archive
Projects Blog Knowledge

Class Ftp_client.rename_method


class rename_method : file_from:filename -> file_to:filename -> unit -> ftp_method
Renames the file_from into file_to.

Both file names must be of the same type, either `NVFS or `Verbatim. If `NVFS, both names must be in the same directory.


This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml