The following instructions describe how to create a Git source code repository in the student.cs computing environment.
These instructions assume that you have already followed the step of OS/161 installation (obtaining OS/161 source code) from the OS/161 Installation Guide, and that you have not yet configure and build the kernel. This is because we want to create a Git repository that contains the OS/161 source code, but not all of the other junk that gets created when you configure and build.
First, you will need to login to GitLab by clicking Sigin in with: GMU Login. Patriot pass credentials never works for now.
Mkae sure you create a Private project for OS/161 with the name os161-1.11, and use Git to keep track of your code editing history.
Before cloning your GitLab repo to your student.cs computing environment,
you will need to first create an RSA SSH key by typing:
ssh-keygen -t rsa -C "your_email_addr"
Or you can simply follow
this tutorial.
Then, add an SSH key to your GitLab account by following these instructions.
Test if the SSH-based access has been successfully set.
Click on the Clone button at the right-top corner of your GitLab repo's webpage,
copy the string under Clone with SSH to clipboard.
Then, create a new directory called os161 under your $HOME directory,
cd to your working directory where you are supposed to put your os161 source code,
and clone your created GitLab repo on to your student.cs Linux box:
mkdir $HOME/os161
cd $HOME/os161
git clone git@git.gmu.edu:your_gid/os161-1.11.git
You can then copy the downloaded
os161 src into this newly created git directory:
cd $HOME/os161/os161-1.11
cp -r $HOME/tmp/os161/os161-1.11/* .
Now, check in the source code which you have already copied into the git directory:
git add *
git commit -m "init commit"
git push
If you are checking in for the first time on an empty repo (which is your case here),
you should run
git push -u origin master
Instead of
git push
If you are working in a group, it is a good idea for all group members to share access to a single GitLab repo. You can enable sharing through the GitLab web interface. Hover over to Settings on the left sidebar, and click Members. Enter your team member's Patriot ID and choose a role (Developer or Maintainer) for him/her.