renaming a folder from the linux terminal
Simple one but I keep getting it wrong. I want to rename a directory called old_project to archive. What's the right command, and does it matter if the folder still has files in it?