edit lecture: lecture 00: add command prompt