Download dei dati cartografici di Cartopy dietro un proxy

Una mappa può essere generata localmente mentre le sue coste o altri dati di riferimento devono ancora essere scaricati. Se Cartopy non trova una risorsa necessaria, il Downloader standard può recuperarla prima che il tracciamento sia completo.

Quel downloader usa urllib.request.urlopen di Python. Per un proxy HTTP diretto che serve entrambi gli schemi di destinazione, avvia il processo di tracciamento con un ambiente come:

export http_proxy=http://proxy.example:8080
export https_proxy=http://proxy.example:8080

Il proxy deve stare nell'ambiente ereditato dal processo Python reale. Un kernel di notebook o un IDE desktop già in esecuzione può richiedere una propria configurazione di avvio. Per Jupyter, configura l'ambiente di avvio del kernel selezionato prima di acquisire i dati. La variabile HTTPS può ancora contenere un URL di proxy HTTP. I download pubblici di dati di riferimento possono usare una voce HTTP dall'elenco dei proxy HTTP dove quella rotta è consentita e non è configurato alcun account proxy.

Guarda l'URL dei dati richiesto nell'avviso o nell'eccezione di download. Una risorsa dati mancante, una richiesta di autenticazione del proxy e un errore di fiducia HTTPS avvengono in punti diversi; cambiare la proiezione non riparerà la rotta di rete del downloader.

Per una macchina che deve restare offline

Fornisci in anticipo il dataset necessario e indica a Cartopy la sua radice:

from pathlib import Path
import cartopy

cartopy.config['pre_existing_data_dir'] = Path('/srv/map-data')

La directory deve avere la struttura attesa dal downloader pertinente, compresi i file completi del dataset. Una cartella con un archivio qualsiasi non è automaticamente il percorso della risorsa che Cartopy cerca.

pre_existing_data_dir viene controllato prima di data_dir. Se la risorsa manca in entrambi i posti, un elemento scaricabile può comunque attivare l'acquisizione in data_dir, che deve essere scrivibile. Impostare la directory preesistente è quindi una scelta di ricerca, non un interruttore globale «non usare mai la rete».

Prepara ogni risoluzione e ogni elemento richiesti dai tracciati previsti. Una mappa grossolana riuscita in passato non dimostra che una costa più dettagliata sia già disponibile. I servizi di tile e i downloader personalizzati possono avere proprie modalità di recupero.