Next: Environment operations, Previous: Directory operations, Up: operatingsystem-pkg [Contents][Index]

### 76.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

Next: Environment operations, Previous: Directory operations, Up: operatingsystem-pkg [Contents][Index]