我使用LDAPlogin设置了Jenkins。一切正常。 现在，我们的IT部门更改了LDAP主机地址，因此我无法再loginJenkins以更改LDAP主机地址。
该怎么办？
编辑Jenkins的configuration文件，例如/var/lib/jenkins.config.xml 。 在以下部分更改$SOME_IP_OR_SOME_HOSTNAME ：
<hudson> ... <securityRealm class="hudson.security.LDAPSecurityRealm" ...> ... <server>$SOME_IP_OR_SOME_HOSTNAME</server> ... </securityRealm> ... </hudson>
然后重新启动jenkins，例如sudo service jenkins restart 。