A technician would like to restart a computer from a command line tool. Which of the following tools should the technician use?