For a plain user to use the toolbox:
-
in terminal execute:
cd basedirectory
git 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 basedirectory
git clone https://github.com/<your username>/ClearMap.git
-
configure remotes (named upstream)
cd ClearMap
git remote add upstream https://github.com/ChristophKirst/ClearMap.git
git fetch upstream
To backup your version in case you followed the developer / programmer route:
-
in terminal in the ClearMap directory execute:
git add -A
git 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 upstream
git 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: