Resources

I'll put miscellaneous resources here as the term evolves. If there's anything you want me to add, let me know.

Items labeled [VIDEO] are my own videos, recorded at various times since summer 2020.

Unix

• A good introductory Unix tutorial
• [VIDEO] (27:15) Intro to Unix, part 1
• [VIDEO] (18:50) Intro to Unix, part 2. File permissions, redirecting input/output streams, environment variables, start-up files.
• Bash commands, Ruth Anderson, University of Washington
• Some useful Unix commands, Tia Newhall, Swarthmore College
• Installing Windows Subsystem for Linux (WSL)

git

• A good starter tutorial
• Official git tutorial
• Atlassian's git tutorial
• [VIDEO] (35:12) Intro to git and version control, part 1
• [VIDEO] (37:30) Intro to git and version control, part 2
• [VIDEO] (7:17) git config & git log
• [VIDEO] (11:14) Tabs & spaces (collaborating with other people can lead to all sorts of problems with tab and space characters, so this video has a little info about that)

• My zlib-decompress script, which I store in ~/bin/ on my laptop to help me dig around in the internals of git repositories (specifically, to decompress the files found in the .git/objects/ directory).

  #!/bin/bash python3 -c "import zlib,sys;sys.stdout.buffer.write(zlib.decompress(sys.stdin.buffer.read()))"