witty-crayon-22786
03/21/2017, 9:06 PM--pants-config-files='X'
is equivalent to --pants-config-files='+["X"]'
... sorry.clean-fish-15260
03/21/2017, 9:06 PMwitty-crayon-22786
03/21/2017, 9:07 PMclean-fish-15260
03/21/2017, 9:07 PMclean-fish-15260
03/21/2017, 9:07 PM$ cat pants.ini | grep -C3 write
[cache]
read_from: [ "<https://myhost:8080/pants>", "%(homedir)s/pantscache" ]
write_to: [ "%(homedir)s/pantscache" ]
witty-crayon-22786
03/21/2017, 9:07 PM./pants --pants-config-files=X options | grep 'relevant.*option'
until you see what you want.clean-fish-15260
03/21/2017, 9:08 PM$ cat pants-jenkins.ini
[cache]
read_from: [ "<https://myhost:8080/pants>", "%(homedir)s/pantscache" ]
write_to: [ "<https://myhost:8080/pants>", "%(homedir)s/pantscache" ]
witty-crayon-22786
03/21/2017, 9:08 PMclean-fish-15260
03/21/2017, 9:09 PMwitty-crayon-22786
03/21/2017, 9:09 PMclean-fish-15260
03/21/2017, 9:10 PM--pants-config-files=somefile.ini
and the overriding isn't happeningwitty-crayon-22786
03/21/2017, 9:11 PM./pants options
?clean-fish-15260
03/21/2017, 9:13 PMwitty-crayon-22786
03/21/2017, 9:13 PMwitty-crayon-22786
03/21/2017, 9:13 PM--config-override
, as i know that that option works.clean-fish-15260
03/21/2017, 9:14 PMclean-fish-15260
03/21/2017, 9:14 PMclean-fish-15260
03/21/2017, 9:16 PMclean-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)
witty-crayon-22786
03/21/2017, 9:17 PMclean-fish-15260
03/21/2017, 9:17 PMwitty-crayon-22786
03/21/2017, 9:17 PMclean-fish-15260
03/21/2017, 9:17 PMclean-fish-15260
03/21/2017, 9:32 PMclean-fish-15260
03/21/2017, 9:32 PM# TODO: Deprecate --config-override in favor of --pants-config-files.
# But only once we're able to both append and override list-valued options, as there are
# use-cases for both here.
witty-crayon-22786
03/21/2017, 9:47 PMhappy-kitchen-89482
03/21/2017, 9:56 PMhappy-kitchen-89482
03/21/2017, 9:57 PM--pants-config-files
is handled specially, since it has to be read before the full options machinery can be startedhappy-kitchen-89482
03/21/2017, 9:57 PMget_config_file_paths
in src/python/pants/option/options_bootstrapper.py
happy-kitchen-89482
03/21/2017, 9:59 PM--pants-config-files
quite a bit in tests, and it seems to work