SYNOPSIS void rename_object (object ob, string new_name); DESCRIPTION Give the current object a new file_name. Causes a privilege violation. The new name must not contain a # character, except at the end, to avoid confusion with clone numbers. SEE ALSO creator(E), file_name(E)