For a plain user to use the toolbox:
-
in terminal execute:
cd basedirectorygit clone https://github.com/ChristophKirst/ClearMap.git
For a developer / programmer:
-
create account at github
-
got to https://github.com/ChristophKirst/ClearMap and press fork button
-
in terminal execute:
cd basedirectorygit clone https://github.com/<your username>/ClearMap.git -
configure remotes (named upstream)
cd ClearMapgit remote add upstream https://github.com/ChristophKirst/ClearMap.gitgit fetch upstream
To backup your version in case you followed the developer / programmer route:
-
in terminal in the ClearMap directory execute:
git add -Agit commit -m 'some description of what you did'git push
Plain user:
-
in terminal in the iDisco directory execute
git pull
Programmer:
in case you want to update your code from the upstream repository
-
in terminal execute:
git fetch upstreamgit merge upstream/master -
if merging fails, some files will be highlighted with <<<<<< >>>>>> entries, fix this manually
-
if you dont care about your own changes and simply want the plain new version:
git reset --hard upstream/master -
to force it to your fork on github use
git push origin/master --force
In case you have something to contribute to the code:
-
follow the steps in the Backup section first
-
got to https://github.com/ChristophKirst/ClearMap.git and click pull request
-
wait for us to accept the request
ClearMap home:
A good source to get questions answered about github:
Git home: