GIT: Difference between revisions
No edit summary |
No edit summary |
||
Line 23: | Line 23: | ||
Use ''git commit'' command to check in locally, and ''git push'' to check into repository. | Use ''git commit'' command to check in locally, and ''git push'' to check into repository. | ||
At any point you can view the history of your changes using | |||
git log | |||
If you also want to see complete diffs at each step, use | |||
git log -p | |||
Often the overview of the change is useful to get a feel of each step | |||
git log --stat --summary |
Revision as of 21:09, 27 November 2013
We are using 'github' as our online code management. It is owned by Sergey Boyarinov and managed from the site 'github.com' which username boiarino17. There are three repositories: coda, clon and epics.
To use it clon clon machines, proxy have to be set by following command:
git config --global http.proxy jprox.jlab.org:8081
To get repository (for example coda) use following command:
git clone https://github.com/boiarino17/coda
Command git pull can be used to get files from repository.
Use following to add all files locally, usually used once initially.
git add . git commit -a -m "first commit"
Removing files/directories example:
git rm src/bosio/bosio.s/SCCS/* git commit src/bosio/bosio.s/ git push
Use git commit command to check in locally, and git push to check into repository.
At any point you can view the history of your changes using
git log
If you also want to see complete diffs at each step, use
git log -p
Often the overview of the change is useful to get a feel of each step
git log --stat --summary