You need to set up the programming environment

Run a Setup Script

  1. Open a terminal by typing Ctrl-Alt-T
  2. In that terminal, run
    curl https://www.usna.edu/Users/cs/choi/ic210/setup/210setup > 210setup
    bash 210setup

Set up Github and your SSH keys

  1. Open a new terminal (keep the original terminal still open).
  2. Show your public key in the terminal by running cat ~/.ssh/id_ed25519.pub
  3. Copy the entire contents of the id_ed25519.pub file to your clipboard. These contents start with ssh-ed25519.
  4. In your web browser, log in to the github homepage. In the upper-right corner of any page, click your profile photo, then click “Settings”.
  5. In the user settings sidebar, click “SSH and GPG keys”.
  6. Click “New SSH key” or “Add SSH key”.
  7. In the “Title” field, add a descriptive label for the new key. For example, Laptop or Lab machine.
  8. Paste your key into the “Key” field.
  9. Click “Add SSH key”.