Installation and running of Jenkins
'''''''''''''''''''''''''''''''''''

Jenkins Debian package
----------------------

First add the key to your system::
	
	wget -q -O - https://pkg.jenkins.io/debian-stable/jenkins.io.key | sudo apt-key add -

Then add the following entry in your /etc/apt/sources.list::

	deb https://pkg.jenkins.io/debian-stable binary/

Update your local package index, then finally install Jenkins::

	sudo apt-get update
	sudo apt-get install jenkins

Now you can run Jenkins with::

	sudo service jenkins {start|stop|restart}

You can access the Jenkins webinterface::

	localhost:8080

Follow the instructions to create your admin account.

Jenkins generic Java Package (.war)
-----------------------------------

Donwload::

	http://mirrors.jenkins.io/war-stable/latest/jenkins.war

Run::

	java -jar jenkins.war --httpPort=8080

You can access the Jenkins webinterface::

	localhost:8080

Follow the instructions to create your admin account.