[config]
log = /big/scratch/jenkinstool.log
jenkins-host = jenkins
mirror = http://192.168.122.1/debian