docker image: add mlz tools

this supplies pylint2gerrit

Change-Id: Iae695513e6dfddc54935c9cee8a9469950a5a605
Reviewed-on: https://forge.frm2.tum.de/review/19554
Tested-by: JenkinsCodeReview <bjoern_pedersen@frm2.tum.de>
Reviewed-by: Enrico Faulhaber <enrico.faulhaber@frm2.tum.de>
This commit is contained in:
Björn Pedersen
2018-12-06 15:26:26 +01:00
committed by Enrico Faulhaber
parent 0a71c97f69
commit dec643f522

View File

@ -24,6 +24,13 @@ RUN groupadd -g 1001 jenkins && \
mkdir /home/jenkins && chown jenkins:jenkins /home/jenkins && \ mkdir /home/jenkins && chown jenkins:jenkins /home/jenkins && \
echo "jenkins:jenkins" | chpasswd echo "jenkins:jenkins" | chpasswd
USER jenkins USER jenkins
RUN virtualenv /home/jenkins/tools2 && \
git clone https://forge.frm2.tum.de/review/frm2/taco/tools /home/jenkins/tools2src && \
. /home/jenkins/tools2/bin/activate && \
pip install -U pip wheel setuptools && \
pip install /home/jenkins/tools2src/ && \
rm -rf /home/jenkins/tools2src
RUN virtualenv /home/jenkins/secopvenv && \ RUN virtualenv /home/jenkins/secopvenv && \
git clone https://forge.frm2.tum.de/review/sine2020/secop/playground /home/jenkins/playground && \ git clone https://forge.frm2.tum.de/review/sine2020/secop/playground /home/jenkins/playground && \
. /home/jenkins/secopvenv/bin/activate && \ . /home/jenkins/secopvenv/bin/activate && \