commit | bddc92de9c7427028195e3aa598ec1ce71fe52f5 | [log] [tgz] |
---|---|---|
author | Marc Kupietz <kupietz@ids-mannheim.de> | Mon Jan 23 08:10:31 2023 +0100 |
committer | Marc Kupietz <kupietz@ids-mannheim.de> | Mon Jan 23 18:56:40 2023 +0100 |
tree | 06099539348ed16671626c2d9aa4bdfe0e980b1b | |
parent | 7c3f9f64f80f713d2a27add5976bb98c22effaaf [diff] |
Try to fix GH sync Change-Id: I7c2a119f0be6fa467337935efcdf0e89fc9e37fa
This repository is primarily aimed at developers who want to build KorAP or one of its components or related tools themselves.
It helps to check out all necessary repositories using Repo, a tool built by the Android development team to manage multi-repository projects.
You’ll need to set up some directories in your build environment.
To create them:
mkdir -p ~/bin mkdir -p ~/KorAP
The ~/bin directory will contain the git-repo tool (commonly named “repo”) and the ~/KorAP directory will contain the source code of KorAP.
repo
commandEnter the following to download the repo binary and make it executable (runnable):
curl https://storage.googleapis.com/git-repo-downloads/repo > ~/bin/repo chmod a+x ~/bin/repo
~/bin
directory in your path of executionIn recent versions of Ubuntu, ~/bin
should already be in your PATH. You can check this by opening ~/.profile
with a text editor and verifying the following code exists (add it if it is missing):
# set PATH so it includes user's private bin if it exists if [ -d "$HOME/bin" ] ; then PATH="$HOME/bin:$PATH" fi
Given that repo requires you to identify yourself to sync KorAP sources, run the following commands to configure your git identity:
git config --global user.email "you@example.com" git config --global user.name "Your Name"
cd ~/KorAP repo init -u https://korap.ids-mannheim.de/gerrit/KorAP/manifest repo sync