introtools: An intro to some basic (CS) tools The course material: terminal introduces the terminal (bash). collaboration introduces tmate and other remote tools and git. latex introduces report writing using LaTeX.