在詹金斯中是否有任何“适当”的方法来更改系统属性？更改它们的最简单/最快的方法是什么？例如，我需要关闭无用的（在我的情况下）ping线程。
如果您确实想要快速简单的方法来更改系统属性，则可以使用脚本控制台
System.setProperty("hudson.remoting.Launcher.pingIntervalSec", 0)
但这不会在重新启动后幸存下来。要使其永久，请将设置添加到java args。对于我（CentOS，Jenkins 2.7.1）而言，这大约是一半/etc/sysconfig/jenkins（对于其他发行版，我认为是/etc/default/jenkins），您应该在其中将选项添加到现有列表中，如下所示：
/etc/sysconfig/jenkins
/etc/default/jenkins
JENKINS_JAVA_OPTIONS="-Djava.awt.headless=true -Dhudson.remoting.Launcher.pingIntervalSec=0"
进行更改后，您必须重新启动Jenkins（感谢Mark Tickner）
