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

aloof-angle-91616

10/15/2019, 4:57 PM
a

average-vr-56795

10/15/2019, 4:58 PM
Which I think technically means the additive form is incorrect, because it will end up with the
pants.ini
being in the list twice? Though that probably doesn’t matter
a

aloof-angle-91616

10/15/2019, 4:59 PM
hmmmmmmmm
very interesting
i think you're right
and i think that in the case that
--pants-config-files
has
pants.ini
in it anywhere but the start we would start seeing "incorrect" behavior since the buildroot
pants.ini
is in there twice in different places
that's probably fixable, will timebox to a 10 minute PR
a

average-vr-56795

10/15/2019, 5:01 PM
Yeah, particularly if
pants.ini
contains any +lists
Enjoy!
a

aloof-angle-91616

10/15/2019, 5:01 PM
thank you for diving into our options system!!!
("our" of course meaning including everyone)
3 Views