Notes on linux, terminal usage, etc.