notes on the command line This is the git repository for notes on the command line. A fuller description of that site can be found at the site itself.