This page has moved to https://eecs281.waleedkhan.name/terminal-tips-and-tricks/.