# removeFile -- remove a file

## Synopsis

• Usage:
removeFile f
• Inputs:
• f,
• 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 .