/usr/local/lib/swipl/library/ext/clib/filesex.pl
All Application Manual Name SummaryHelp

  • ext
    • clib
      • socket.pl -- Network socket (TCP and UDP) library
      • uid.pl -- User and group management on Unix systems
      • unix.pl -- Unix specific operations
      • syslog.pl -- Unix syslog interface
      • memfile.pl
      • time.pl -- Time and alarm library
      • uri.pl -- Process URIs
      • filesex.pl -- Extended operations on files
        • set_time_file/3
        • link_file/3
        • relative_file_name/3
        • directory_file_path/3
        • directory_member/3
        • copy_file/2
        • make_directory_path/1
        • ensure_directory/1
        • copy_directory/2
        • delete_directory_and_contents/1
        • delete_directory_contents/1
        • chmod/2
      • uuid.pl -- Universally Unique Identifier (UUID) Library
      • sha.pl -- SHA secure hashes
      • process.pl -- Create processes and redirect I/O
      • hash_stream.pl -- Maintain a hash on a stream
      • md5.pl -- MD5 hashes
      • mallocinfo.pl -- Memory allocation details
      • streampool.pl -- Input multiplexing
      • prolog_stream.pl -- A stream with Prolog callbacks
      • crypt.pl
      • udp_broadcast.pl -- A UDP broadcast proxy
 make_directory_path(+Dir) is det
Create Dir and all required components (like mkdir -p). Can raise various file-specific exceptions.