Name

file.rename — Rename a file.

Synopsis

file.rename oldname newname

Description

Renames oldname to newname.