Easier access to refreshing repository contents

[njbartlett]

Need to refresh plugins when remote repo contents changes, but when?

Options:

1. Manually: menu entry to reload plugins.
2. Automatically when a build start? Perhaps on FULL_BUILD, then can trigger with clean?
3. Poll continuously. How? And what do we do when we detect a change... prompt to rebuild?

[derheld42]

Just an idea.. but maybe make it user configurable? Perhaps always enable a manual means, and then allow #2 or #3 depending on a user's needs.

I know I'm interested in having #1 right now... Currently I wouldn't use #2 or #3, however, I could see #3 being useful and perhaps in certain types of testing could make #2 very useful too.

[derheld42]

I've found several cases where I've wanted to refresh just a single repo in the last couple months. The bndtools menu refresh repos option works. But it refreshes all repos and it blocks the foreground thread. (Yup, I made that change, but it needs to be improved)

[pkriens]

Why not add a menu on the repo? This is quite easy to do, implement Map<String,Run> actions(Object[]type) in the repo.

[pkriens]

I've added a Refresh menu in FixedIndexRepo

[pkriens]

2fba8ddcc6 ([repos] #404 Delete entry menu on the FixedIndexedRepo and a Refresh menu entry on FixedIndexed and LocalIndexed Repos )