Import ssh key

This commit is contained in:
Tim Schubert 2018-05-17 15:51:30 +02:00
parent 6271d3455f
commit a9438a8eaf
2 changed files with 7 additions and 1 deletions

View file

@ -9,6 +9,12 @@ stages:
- plagiates
before_script:
## get ssh private key from secret variable
- eval $(ssh-agent -s)
- echo "$SSH_PRIVATE_KEY" | tr -d '\r' | ssh-add - > /dev/null
- mkdir -p ~/.ssh
- chmod 700 ~/.ssh
## get API token from secret variable
- cp python-gitlab.cfg $HOME/.python-gitlab.cfg
- echo "private_token = ${PRIVATE_API_TOKEN}" >> $HOME/.python-gitlab.cfg

View file

@ -241,7 +241,7 @@ def plagiates(gl, conf, args):
os.chdir('..')
subprocess.run(
['java', '-jar', '/app/jplag.jar', '-s', 'repos', '-p', 'java', '-r', 'results', '-bc', '$BASECODE', '-l', 'java18'])
['java', '-jar', '/app/jplag.jar', '-s', 'repos', '-p', 'java', '-r', 'results', '-bc', '$BASECODE', '-l', 'java17'])
def parseconf(conf):