| filesex.pl -- Extended operations on files | ||
|---|---|---|
| chmod/2 | Set the mode of the target file. | |
| copy_directory/2 | Copy the contents of the directory From to To (recursively). | |
| copy_file/2 | Copy a file into a new file or directory. | |
| delete_directory_and_contents/1 | Recursively remove the directory Dir and its contents. | |
| delete_directory_contents/1 | Remove all content from directory Dir, without removing Dir itself. | |
| directory_file_path/3 | True when Path is the full path-name for File in Dir. | |
| directory_member/3 | True when Member is a path inside Directory. | |
| ensure_directory/1 | Ensure the directory Dir exists. | |
| link_file/3 | Create a link in the filesystem from NewPath to OldPath. | |
| make_directory_path/1 | Create Dir and all required components (like mkdir -p). | |
| relative_file_name/3 | True when RelPath is Path, relative to the file RelToFile. | |
| set_time_file/3 | Query and set POSIX time attributes of a file. | |
| hash_stream.pl -- Maintain a hash on a stream | ||
| mallocinfo.pl -- Memory allocation details | ||
| md5.pl -- MD5 hashes | ||
| memfile.pl | ||
| process.pl -- Create processes and redirect I/O | ||
| prolog_stream.pl -- A stream with Prolog callbacks | ||
| rlimit.pl | ||
| sha.pl -- SHA secure hashes | ||
| socket.pl -- Network socket (TCP and UDP) library | ||
| syslog.pl -- Unix syslog interface | ||
| time.pl -- Time and alarm library | ||
| uid.pl -- User and group management on Unix systems | ||
| unix.pl -- Unix specific operations | ||
| uri.pl -- Process URIs | ||
| uuid.pl -- Universally Unique Identifier (UUID) Library | ||