Reference

This page includes links to a variety of tips, tricks, and guides you may find useful during the semester. We will gradually add material to this section as the course progresses. If you have specific requests for topics that you’d like to see here, feel free to send requests by email or mention them in class. Pages are organized by category below.

Using Linux

Linux Manual Pages

Linux comes with a large manual in (almost) every installation. You can access the manual using the man shell command, but you’ll need to know a few tricks to find the information you want and navigate once you’ve found it.

Searching Shell History

You may end up in a situation where you’d like to run a command you’ve run before, but you aren’t quite sure the last time you ran it. You could hit the up key until you find it, but you can search your shell history instead.