module Extended_filename:Extensions tosig
..end
Core.Core_filename
.val compare : string -> string -> int
with_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) -> string
with_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) -> 'a
val is_parent : string -> string -> bool
is_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.