https://pantsbuild.org/ logo
#general
Title
# general
c

clean-fish-15260

03/21/2017, 9:16 PM
Copy code
jim$ ./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)