removeFile -- remove a file

Synopsis

• 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.