https://kirelos.com/how-to-rename-a-directory-in-linux/