How to use the Linux command “rmdir”