another question,

pants

is a bash script from https://github.com/pantsbuild/setup/blob/gh-pages/pants, it seems to be very stable (4 changes during last year) so we don’t need to regularly update it when upgrading the pants version ?

No, you don’t. It only needs to change when things change for how to install Pants. For example, some of those changes in the past year were: 1) We went from running Pants with Python 2 to Python 3 2) We added support for

pants.toml

instead of

pants.ini

That required changes in the

./pants

script because it’s what bootstraps Pants. But, otherwise, we haven’t needed to do any changes. When we make changes, we mention it in the email group pants-devel. See https://www.pantsbuild.org/community.html on how to join

Got it, nice explanation! thanks