clean-fish-15260
03/21/2017, 9:16 PMjim$ ./pants --pants-config-files='["pants-jenkins.ini","pants.ini"]' options | grep cache | grep write_to
cache.write_to = ['<https://myhost.com:8080/pants>', '/Users/jim/pantscache'] (from CONFIG)
jim$ ./pants --pants-config-files='["pants.ini", "pants-jenkins.ini"]' options | grep cache | grep write_to
cache.write_to = ['/Users/jim/pantscache'] (from CONFIG)
jim$ ./pants --pants-config-files='["pants-jenkins.ini"]' options | grep cache | grep write_to
cache.write_to = ['<https://myhost.com:8080/pants>', '/Users/jim/pantscache'] (from CONFIG)
jim$ ./pants --pants-config-files='["pants.ini"]' options | grep cache | grep write_to
cache.write_to = ['/Users/jim/pantscache'] (from CONFIG)
jim$ ./pants --pants-config-files='pants.ini' options | grep cache | grep write_to
cache.write_to = ['/Users/jim/pantscache'] (from CONFIG)
jim$ ./pants --pants-config-files='pants-jenkins.ini' options | grep cache | grep write_to
cache.write_to = ['/Users/jim/pantscache'] (from CONFIG)