Would you like to copy the permanent link to your clipboard?
Permanent link:
https://help.openstreetmap.org/questions/13916/updating-the-plugin-list-in-josm-linux/13923