Jenkins
From RobotinoWiki
Install Jenkins
apt install openjdk-8-jdk wget -q -O - https://pkg.jenkins.io/debian/jenkins.io.key | sudo apt-key add - echo "deb http://pkg.jenkins.io/debian-stable binary/" > /etc/apt/sources.list.d/jenkins.list apt-get update apt install jenkins
Jenkins Browser init Setup and Plugins follow on
Install suggested plug-ins, add the following plug-ins additionally:
- CMake
- Bulk Builder
- Debian Package Builder
- Multijob
- Priority Sorter Plugin
- Publish Over SSH
User and Permissions
Create user Account (one user should typically be ok)
Enable anonymous access to allow installation of jobs via scripts:
Webgui --> Manage Jenkins --> Configure Global Security: - Authorization -> Anyone can do anything
Configure only one Executor:
Webgui --> Manage Jenkins --> Configure System: Maven Project Configuration # of executors 1