Directory Operations # Rename # There is a nice rename command for this that can be installed. Easier to use than regular terminal commands. [todo] Add examples here.