exists p is Ok true if p exists in the file system and Ok false otherwise. Symbolic links are followed.

must_exist p is Ok () if p exists in the file system and an error otherwise. Symbolic links are followed.

delete ~recurse p deletes p from the file system. If p is a symbolic link this only deletes the link, not the linked object. If recurse is true and p is a non-empty directory, no error occurs, its contents is recursively deleted. The result is:

• Ok true, if p existed and was deleted.
• Ok false, if the path p did not exist on the file system.
• Error _ in case of error, in particular if p is a non-empty directory and recurse is false.

See also File.delete.

rename ~force ~make_path src ~dst renames src to dst.

• If force is true and dst exists it tries to delete it using File.delete dst. If force is false and dst exists the function errors.
• If make_path is true and the parent directory of dst does not exist the whole path to the parent is created as needed with permission 0o755 (readable and traversable by everyone, writable by the user).

realpath p expands all symbolic links and resolves all references to . and .. segments. The function errors if p does not exist.

copy ~make_path ~recurse src ~dst copies the file or file hierarchy rooted at src to dst. The function errors if dst exists. The semantics and arguments correspond to those of Os.Dir.copy, except this function also works if src is not a directory. Note that prune is never called on src itself FIXME is that a good idea ? also FIXME this should error if src is a directory and recurse is false.

See also Os.Dir.copy and Os.File.copy.

get_mode p is the file mode of p. Symbolic links are followed.

set_mode file p sets the file mode of file to p. Symbolic links are followed.

stat p is p's file information. Symbolic links are followed.

is_mount_point p is true if p looks like a mount point. The criterion is if p and p/..'s stat have a differing Unix.stat.std_dev field.

symlink ~force ~src p symbolically links src to p.

• If force is true and p exists it tries to delete it using File.delete p. If force is false and p exists the function errors.
• If make_path is true and the parent directory of file does not exist the whole path to the parent is created as needed with permission 0o755 (readable and traversable by everyone, writable by the user).

symlink_link p is Ok l if p is a symbolic link to l.

symlink_stat p is like stat but if p is a symlink returns information about the link itself. If p is not a symlink then this is stat.

The type for temporary file name patterns. The string format is replaced by random hexadecimal ASCII characters.

tmp ~make_path ~dir name () is a file system path in dir that did not exist when the name was devised. It may exist once the function returns though, prefer temporary files and directories creation functions to guarantee the creation of the temporary objects.

• name is used to construct the filename of the file, see tmp_name for details. It defaults to "tmp-%s".
• dir is the directory in which the temporary file is created. It defaults to B0_std.Os.Dir.default_tmp ().
• If make_path is true (default) and dir does not exist the whole path to it is created as needed with permission 0o755 (readable and traversable by everyone, writable by the user).