Cambia mirror dei siti di aggiornamento dei plugin eclipse
-
19-08-2019 - |
Domanda
Sto usando ganimede ma non riesco a trovare l'opzione per cambiare mirror per i siti di aggiornamento. C'è un modo per cambiare questo?
Soluzione
L'idea completa di mirror è non più un cittadino di prima classe del meccanismo di aggiornamento di eclipse Ganymede, ma piuttosto una semplice proprietà di un repository (per metadati o artefatto ).
Puoi comunque forzare un mirror per una determinata funzione, con una riga di comando simile a quella menzionata in questo errore .
eclipsec -verbose -application org.eclipse.equinox.p2.metadata.repository.mirrorApplication
-source http://www.someurl.com/ -destination file:x:/local/path/to/mirror
(non testato però)
Vedi anche questa introduzione al P2
Altri suggerimenti
Deseleziona " seleziona automaticamente i mirror " e ti chiederà i mirror la prossima volta.
Se non sbaglio, in " Aiuto- > Aggiornamenti software " puoi gestire tutti i repository eclipse ...