Instructions for using the GIT server in ECE

Each of your group members will need to have an ECE account.   You will each have to create your private and public keys as below

1. Log into one of the instructional servers (amdpool, linuxpool-01, ph314-#)
2. Type "ssh-keygen -t rsa -f $HOME/.ssh/ece-git".   Note, do NOT share the private key that is created, it will allow anyone to use your account!
3. Create a file $HOME/.ssh/config.   The contents should be:

   Host    augean.ece.cornell.edu
           IdentityFile    ~/.ssh/ece-git
           User git
   host     *
           IdentityFile    ~/.ssh/id_rsa
           User <yournetid>
   

   Omit the "<" and ">" around your netid
4. Set the permissions on your .ssh folder and subfiles, this is VERY IMPORTANT or you will compromise the security of your own account.

   cd $HOME
   chmod 700 .ssh
   cd .ssh
   chmod 600 *
   cd $HOME
   

5. Wait 5-10 minutes
6. Create your project and push it to the GIT server, for example:

   mkdir myprojects
   cd myprojects
   git clone git@augean.ece.cornell.edu:projects/<netid>/project1
   cd project1
   

7. Copy/move the files you want to share to that folder and then sitting in that folder:

   git add *
   git commit -m "Initial Commit"
   git push origin master
   

8. Set permisisons on the project

   ssh git@augean.ece.cornell.edu perms -h
   

9. The output will tell you how to add users to allow them to read or write to your project.   Users have to have a valid ECE account to access.

Do NOT share your private keys, you could lose data as well as your account  privileges.   It is your responsibility for the security of your account.

Example:

ssh-keygen -t rsa -f $HOME/.ssh/ece-gitecho "Host  augean.ece.cornell.edu" > $HOME/.ssh/config
echo "   IdentityFile ~/.ssh/ece-git" >> $HOME/.ssh/config
echo "   User git" >> $HOME/.ssh/config
echo "Host  *" >> $HOME/.ssh/config
echo "   IdentityFile ~/.ssh/id_rsa" >> $HOME/.ssh/config
echo "   User  zzz123" >> $HOME/.ssh/config
cd $HOME
chmod 700 .ssh
cd .ssh
chmod 600 *
cd $HOME
sleep 300
mkdir myprojects
cd myprojects
git clone git@augena.ece.cornell.edu:projects/zzz123/halo
cd halo
...create a bunch of files...
git add *
git commit -m "Initial Commit"
git push origin master
ssh git@augean.ece.cornell.edu perms -l projects/zzz123/halo
ssh git@augean.ece.cornell.edu perms projects/zzz123/halo + READERS yyy123
ssh git@aguean.ece.cornell.edu perms projects/zzz123/halo + WRITERS xxx123