The name of the file is a.out yes. On the command line, entering in a file will usually open it, so he is literally navigating to the file and opening it.