10-shell recording

The two brief demos I gave at the start of lecture 10. First, I walk through how to use the clint.py C style checker script. Second, I quickly go through how to use gdb to investigate the cause of a segmentation fault.