Shim for install-plugins -> plugin-installation-manager-tool

[slide]

This replaces the contents of install-plugins.sh to use plugin-manager-installation-tool internally. Requires an update to plugin-installation-manager-tool 2.5.0 (#1071 does this as well).

[slide]

Do we want to expose the options for proxy stuff via environment variables?

[slide]

Is this ok to merge? Any items that people want to see?

@oleg-nenashev @MarkEWaite

[MarkEWaite]

Is this ok to merge? Any items that people want to see?

@oleg-nenashev @MarkEWaite

Y.R. Sudhakar has proposed a first draft of a plugin installation manager section for the "Managing Plugins" page of the Jenkins Handbook on https://www.jenkins.io. I'd prefer that we have that documentation available and a blog post to announce the change before this is merged.

[ianwilliams1]

Should updating the README - Usage section be included as part of this change or is a issue required?

[slide]

I don't know if this will be merged or not, so whatever others decide.

[dduportal]

Hello there ! What is the status of this one? That would be really useful but might need a check during the paltform SIG meeting as it might impact end users (but for their own good).

[timja]

Should be fine once conflicts are resolved I think

[dduportal]

Should be fine once conflicts are resolved I think

Shouldn't we communicate on this as it might slightly change end users build behaviors?

[timja]

Should be fine once conflicts are resolved I think

Shouldn't we communicate on this as it might slightly change end users build behaviors?

could do, do you mean in the README or something else?

[timja]

Alternative: #1408