[Gvsig_italian] Aggiornamento URL Addons Manager (gestore delle estensioni)

[Antonio Falciano]

Salve,
per chi come me si e' imbattuto nel blackout di questi ultimi giorni nel
tentativo di installare estensioni mediante l'Addons Manager (Gestore
delle estensioni), faccio notare che l'URL dei packages predefinito:
http://gvsig-desktop.forge.osor.eu/gvSIG-desktop/dists/1.11.0/packages.gvspki
a seguito della recente migrazione da OSOR.eu e' stato aggiornato con:
http://downloads.gvsig.org/download/gvsig-desktop/dists/1.11.0/packages.gvspki
Occorre pertanto sostituirlo manualmente al posto del precedente.
Inoltre, tale URL va inserito di volta in volta, poiche' non e' persistente.
Analogo discorso per chi sta testando gvSIG 1.12: basta cambiare
semplicemente il numero di versione all'interno del nuovo URL.

buona serata
Antonio

-- 
Antonio Falciano
http://www.linkedin.com/in/antoniofalciano