god I feel stupid. I've been digging around trying to figure out how to rename a file for the past 15 minutes. I tried hunting for "rename" in the man pages but all I get is is a man page for some C ...