os.rename

os.rename{path:str, new_path:str, err:str}

Renames the file(s) provided.

Check err for any failures.

Examples

pwd

import("os")
os.rename(path:="init.ra", new_path:="old_init.ra")

┌─────┐
│ err │
├─────┤
│     │
└─────┘