jenkins修改端口号

0x000

我是采用apt-get install的方式安装jenkins的，由于开发机上存在多个dev类的服务需要用到默认的8080端口，需要更改jenkins的端口。

0x001

网上多数教程是直接修改/etc/init.d/jenkins的配置，但是对于我最新版的一直改不了，所以多研究了下jenkins的配置文件。
jenkins有两个配置文件，
1. 启动文件/etc/init.d/jenkins
2. 默认配置文件/etc/default/jenkins

很多人按照网上的教程修改端口号，由于不理解shell脚本，所以最终还是无法成功，我这个方法能确保成功。

0x002

/etc/default/jenkins有一个默认端口号，可以修改为你需要的如9090，或者-1表示禁用，这个端口号在后面配置也需要。

# port for HTTP connector (default 8080; disable with -1)
HTTP_PORT=9090

/etc/init.d/jenkins 启动脚本可以看到一段设置tcp_port的shell，找到check_tcp_port()，可以理解了， 如果$HTTP_PORT变量的端口号可用，则设置为其端口号，如果这个端口号不可用，则设置为默认的8080端口号。
许多人修改了这里的8080，但是$HTTP_PORT没有修改，只要$HTTP_PORT不冲突，jenkins不会修改为你需要的端口号，这才是最准确的原因。

    # Verify that the jenkins port is not already in use, winstone d