Config
******

Linux
=====

To change the port number, edit the following file:

::

  /etc/default/jenkins