7.4 Moving and renaming files

Moving files to a different directory or renaming them is not difficult, but some of the ways in which this works may be non-obvious. (Moving or renaming a directory is even harder. See section 7.5 Moving and renaming directories.).

The examples below assume that the file old is renamed to new.

7.4.1 The Normal way to Rename		The normal way to Rename
7.4.2 Moving the history file		A tricky, alternative way
7.4.3 Copying the history file		Another tricky, alternative way