https://pantsbuild.org/ logo
#development
Title
# development
h

hundreds-father-404

05/15/2020, 12:48 AM
Agreed. You’d still be able to override it. You can explicitly set
--no-dynamic-ui
or
--dynamic-ui
. Pants will set a sane default if you don’t explicitly define it