Merge back in some content from the options page
Review Request #3795 — Created April 30, 2016 and submitted
|benjyw, jsirois, molsen, patricklaw, stuhood|
This re-instantes some content from the old 'invoking' page and put it in the 'options' page.
Also fixes a heading and moves some sections around.
See comments in https://rbcommons.com/s/twitter/r/3767
Staged at http://pantsbuild.github.io/staging/zundel2/options.html
I want to deprecate --config-override, so I'd rather not mention it here. Instead, people should use --pants-config-files, which is list-valued, so you can both append and replace it, which is far more flexible than --config-override, which is effectively like a single append.
This seems unnecessarily vague. We introduce the concept of scopes above, and we explain that section names are scope names.
It's fine to point out this gotcha here, but the emphasis should be on knowing the scope of your option. Talking about "arbitrarily stripping off the first part of the option name" and "section names can have multiple parts" seems like a step away from that specificity.
Again, this should reference the concept of scopes. Section names aren't some independent concept.