This package contains utilities for invoking services from the operating system. Certain predicates described below take names of files or directories as arguments. Some predicates are described as invoking the default shell. All fields are integers. FileName is the name of an existing file or directory.
Options is a list of options.
Possible options are directory , recursive or ignore . If FileName is not a directory it is deleted, otherwise if the option directory is specified but not recursive , the directory will be deleted if it is empty. If recursive is specified and FileName is a directory, the directory and all its subdirectories and files will be deleted. If the operation fails, an exception is raised unless the ignore option is specified. Makes a new directory.