Differences

This shows you the differences between two versions of the page.

--- services:rcs:start [2014/12/12 13:49] – glaubitz
+++ services:rcs:start [2014/12/12 13:56] – glaubitz
@@ Line 7: / Line 7: @@
 ==== Creating the shared git repository on the server ====
-First of all, open a terminal and open an SSH connection to //login.physik.fu-berlin.de//. Then change into your group's grouphome directory using the //cd// command, e.g. ''cd /net/grouphome/ag-test''. Then issue the command ''git init --bare myrepo.git'' to create an empty git repository with the name //myrepo//:
+First of all, open a terminal and open an SSH connection to //login.physik.fu-berlin.de//. Then change into your group's grouphome directory using the //cd// command, e.g. ''cd /net/grouphome/ag-test''. Then issue the command ''git init --bare myrepo.git --shared=true'' to create an empty git repository with the name //myrepo//:
 {{:services:rcs:git-grouphome-step1.png|}}
@@ Line 66: / Line 66: @@
 {{:services:rcs:git-grouphome-step8.png|}}
+Now, we just create a second file as described in the section above. Then use ''git status'' to verify, ''git add'' to add and ''git commit'' to commit our changes. Then we issue ''git push origin master'' to eventually push the changes to the server.
 {{:services:rcs:git-grouphome-step9.png|}}
+Changing back to the first user who just needs to call ''git pull'' to synchronize (//pull// in git speak) the new changes and check the commit history with ''git log''.
 {{:services:rcs:git-grouphome-step10.png|}}
+===== Short summary of useful git commands =====
+  * ''git clone <URL to git repository>'' - clone a local working copy of a remote repository