GIT
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.