lecture for 2014-04-25 on "the command line"