Bjørn Forsman 45156b4057 jenkins service: improve curl call in postStart ... * Perform HTTP HEAD request instead of full GET (lighter weight) * Don't log output of curl to the journal (it's noise/debug) * Use explicit http:// URL scheme * Reduce poll interval from 10s to 2s (respond to state changes quicker). Probably not relevant on boot (lots of services compete for the CPU), but online service restarts/reloads should be quicker. * Pass --fail to curl (should be more robust against false positives) * Use 4 space indent for shell code. (cherry picked from commit 78b6e8c319)		2016-05-03 23:19:16 +02:00
..
default.nix	jenkins service: improve curl call in postStart	2016-05-03 23:19:16 +02:00
job-builder.nix	Add missing 'type', 'defaultText' and 'literalExample' in module definitions	2016-01-17 19:41:23 +01:00
slave.nix	nixos/jenkins: remove use of types.string (it's deprecated)	2014-09-09 17:36:25 +02:00