A beginner's workshop on operating systems and the command line - View it on GitHub