jenkins修改端口号（配置文件找不到8080）
网上的大多数说法是，修改/etc/init.d/jenkins文件中的8080，
但是我用vim打开该文件，找不到8080字符串。
于是搜索PORT，看到–httpPort对应的值为$JENKINS_PORT(markdown显示$需要在$前加斜杆)，–httpPort可以用于指定端口号，因此$JENKINS_PORT的值就是jenkins的默认端口号。
继续看代码，发现JENKINS_CONFIG变量，猜测是另一个配置文件的地址
果然，在这里发现了8080的配置，修改该值即可.