Add predicate copy_file/2 in library(files)

2022-12-09 23:46:00 +01:00
parent 209f7a239a
commit c6aa2068e2
4 changed files with 33 additions and 2 deletions
--- a/src/lib/files.pl
+++ b/src/lib/files.pl
@@ -70,8 +70,9 @@ In this library, directories and files are represented as
                  file_exists/1,
                  directory_exists/1,
                  delete_file/1,
-				  rename_file/2,
-				  delete_directory/1,
+		  rename_file/2,
+		  copy_file/2,
+		  delete_directory/1,
                  make_directory/1,
                  make_directory_path/1,
                  working_directory/2,
@@ -150,6 +151,11 @@ rename_file(File, Renamed) :-
        must_be(chars, Renamed),
        '$rename_file'(File, Renamed).

+copy_file(File, Copied) :-
+	file_must_exist(File, copy_file/2),
+	must_be(chars, Copied),
+	'$copy_file'(File, Copied).
+
 %% delete_directory(+Directory).
 %
 % Succeeds if Directory is deleted from the current system.