78.3 File operations

Function: copy_file (file1, file2) ¶

copies file file1 to file2

Function: rename_file (file1, file2) ¶

renames file file1 to file2

Function: delete_file (file1) ¶

deletes file file1