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()))"