diff options
author | 2017-02-16 18:23:36 +0000 | |
---|---|---|
committer | 2017-02-16 18:23:36 +0000 | |
commit | 835a2e18543aadf9a916cca387f897bc138ea5e0 (patch) | |
tree | 361eb379916054b9806657c4c5e6917852e4f055 | |
parent | 67b79b2f865e8e5ec74c449a1922a02af08926fe (diff) | |
parent | 44f0028fbe5780ddb22c01a8cb7c190dbcd7075e (diff) |
Merge "Update jenkins.ini.example with relevent defaults"
-rw-r--r-- | jenkins.ini.example | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/jenkins.ini.example b/jenkins.ini.example index c8486f89a..76012fec6 100644 --- a/jenkins.ini.example +++ b/jenkins.ini.example @@ -1,12 +1,11 @@ [job_builder] ignore_cache=True keep_descriptions=False -include_path=.:scripts:~/git/ +include_path=. recursive=True [jenkins] #user=jenkins #password=1234567890abcdef1234567890abcdef -url=http://localhost:8080 -##### This is deprecated, use job_builder section instead -#ignore_cache=True +url=https://jenkins.fd.io/sandbox +query_plugins_info=False |