the set of options you can set from the command line and pants.ini and environment variables are all the same