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

  • ext
    • clib
      • socket.pl
      • uid.pl
      • 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
      • sha.pl -- SHA secure hashes
      • process.pl
      • hash_stream.pl -- Maintain a hash on a stream
      • md5.pl -- MD5 hashes
      • mallocinfo.pl
      • prolog_stream.pl -- A stream with Prolog callbacks
      • cgi.pl
      • streampool.pl
      • udp_broadcast.pl
      • crypt.pl
 copy_directory(+From, +To) is det
Copy the contents of the directory From to To (recursively). If To is the name of an existing directory, the contents of From are copied into To. I.e., no subdirectory using the basename of From is created.