removeFile -- remove a file

Usage:

removeFile f
Inputs:
- f, a string
Consequences:
- the file reachable by the path f is removed

Description

Under a unix system such as GNU/Linux, what really happens is that the link to the file specified by f is removed. The file itself disappears after all the links to it are removed. See linkFile.

For the programmer

The object removeFile is a compiled function.

The source of this document is in Macaulay2Doc/ov_system.m2:1680:0.