Impostare le variabili proxy per il downloader HTTP di Mix

Avvia un'attività Mix con gli input supportati HTTP_PROXY, HTTPS_PROXY e NO_PROXY, senza trattare questa configurazione come un'impostazione di Hex o Git.

Per il downloader HTTP di Mix, fornisci le variabili proxy prima di avviare l'attività desiderata. In una shell POSIX:

export HTTP_PROXY=http://proxy.example.net:8080
export HTTPS_PROXY=http://proxy.example.net:8080
export NO_PROXY=localhost,127.0.0.1

Scegli l'intermediario usando un indirizzo dalla lista dei proxy HTTP per una rotta HTTP pubblica e conserva le esclusioni previste. Poi esegui l'attività Mix da quell'ambiente. L'implementazione attuale di Mix controlla i nomi in maiuscolo prima dei corrispondenti in minuscolo e configura il proprio profilo Erlang dedicato httpc.

Questo copre i download gestiti da Mix, come l'installazione iniziale degli strumenti. Un'attività Mix può anche delegare un download a Hex o Git: Hex documenta la propria configurazione http_proxy e https_proxy, e le dipendenze Git usano il trasporto di Git. Le loro impostazioni restano fuori da questa configurazione del downloader.

Un download Mix riuscito dimostra questa via per quell'operazione. Non stabilisce la configurazione usata da ogni successivo client di recupero dei pacchetti.

Articoli correlati