Well they did have the type the command, and to do that they would first have to navigate to the terminal (assuming the machine isn’t running just a plain tty) first.