Some additions to the command line lecture.
requested review from @m300575
marked this merge request as ready
approved this merge request
merged
mentioned in commit 3ddbd41e