An introduction to using the Linux command line on the DCS Machines, with sessions run at the start of every academic year.
To get set up and editing locally, one way is to download TeX Live, and install something like the LaTeX Workshop extension for VSCode.