module Extended_filename:Extensions tosig..end
Core.Core_filename.val compare : string -> string -> intwith_open_temp_file prefix suffix ~f
runs f on the output_channel pointing to the temporary file and returns the
name of the file.val with_open_temp_file : ?temp_dir:string ->
string -> string -> f:(Pervasives.out_channel -> unit) -> stringwith_open_temp_file prefix suffix ~f
runs f on the output_channel pointing to the temporary file and returns the
name of the file.f with a temporary dir as option and removes the directory afterwards.val with_temp_dir : ?in_dir:string -> string -> string -> f:(string -> 'a) -> 'aval is_parent : string -> string -> boolis_parent dir1 dir2
returns true if dir1 is a parent of dir2
Note: This function is context independent, use expand if you want to
consider relatives paths from a given point.
In particular:
_A directory is always the parent of itself.
_The root is the parent of any directory
_An absolute path is never the parent of relative one and vice versa.
_This function is context independent so "../../a" is never the parent of
"." even if this could be true given taken form the current working directory.