Metadb.SystemThis is a wrapper for the standard Sys library.
exception NotADirectory of Path.rootTry to open file with the system default program. This will try the unix command xdg-open followed by open upon failure. Raises OSError if both fail
Wrapper for xopen for urls
Get files recursively in a directory. Optional hidden argument is false if hidden files should be ignored, which is the default behavior. Raises NotADirectory if path is not a directory. Raises Sys.Sys_error if no such directory exists
val rmdir : Path.root -> unitRecursively remove directory. Raises NotADirectory if path is not a directory. Raises Sys.Sys_error if no such directory exists
val remove : Path.root -> unitRemove a file. Raises Sys.Sys_error if file is a directory or does not exist
val make_dirp : Path.root -> unitRecursively create directories but ignore the leaf. For example, make_dirp "/path/to/file.txt" creates the directories "/path" and "/path/to" if they do not exist.
val file_exists : Path.root -> boolReturns true if file or directory exists
val empty_dir : Path.root -> boolReturns true if directory is empty. Raises NotADirectory if path is not a directory and Sys.Sys_error if directory does not exist.