We use Github Classroom for the projects and in-class workspace. These instructions should be carried out on a Trinity linux machine. These can be accessed remotely: see instructions here.
If you have not used Git before, set up your user name and email. Replace Taylor Doe with your name, and tdoe with your NetID (Trinity user name).
git config --global user.name "Taylor Doe"
git config --global user.email tdoe@trinity.edu
If you do not have one, make a Github account with your Trinity email address.
I suggest your account name be your NetID (i.e. tdoe).
Set up a Github SSH key.
Check if you have an existing SSH key by typing ls -al ~/.ssh and looking for id_rsa.pub
If you don't have a key, generate one:
ssh-keygen -t rsa -b 4096 -C "tdoe@trinity.edu"
When you're prompted to "Enter a file in which to save the key," press Enter.
cat ~/.ssh/id_rsa.pub
Select and copy the output (your public key)
Go to https://github.com/settings/ssh/new
Use any title, I suggest "Trinity Linux"
Paste the key into the second bock
Click "Add SSH Key."
We will be using a workspace repository during class
Click the workspace assignment link
If necessary, authorize Github Classroom
Find your NetID in the roster and link it to your Github account.
Join the team for your section time: 11:30 or 1:30
Clone the repository to your Linux account
Click on the green Clone or download button.
The box should read "Clone with SSH"
If the box reads "Clone with HTTPS", click "Use SSH."
If that is not available, you did not set up your SSH key correctly.
Click the copy button next to the link.
git clone <link>
You can change the repository name safely (for instance: to csci2322/workspace)
When released, you will now be able to click on project links to create your own repository with code.
Run the following commands to link to the required libraries to run the project.
At the moment the projects can only be run on the machines on campus. We hope to fix that soon.
mkdir -p ~/.ghc/x86_64-linux-8.6.5
ln -s ~sfogarty/.ghc/x86_64-linux-8.6.5/package.conf.d ~/.ghc/x86_64-linux-8.6.5/package.conf.d