Which of the following commands will remote that directory?