Hello everyone, I am using Linux for quite some time, and I know how it is important to keep filesystem structure. I have got the directory /home/user/oldname and I want to rename it to /home/user/newname. How can I do this in a terminal?