Voor de HTTP-downloader van Mix geef je de proxyvariabelen door voordat je de bedoelde taak start. In een POSIX-shell:

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

Kies de tussenliggende server met een adres uit de lijst met HTTP-proxy’s voor een openbare HTTP-route, en behoud de bedoelde uitzonderingen. Voer daarna de Mix-taak uit vanuit die omgeving. De huidige implementatie van Mix controleert namen met hoofdletters vóór de bijbehorende met kleine letters en configureert het eigen toegewijde Erlang-profiel httpc.

Dit dekt downloads die Mix zelf beheert, zoals het opstarten van hulpmiddelen. Een Mix-taak kan een download ook aan Hex of Git overlaten: Hex documenteert zijn eigen configuratie http_proxy en https_proxy, en Git-afhankelijkheden gebruiken het transport van Git. Hun instellingen vallen buiten deze downloaderconfiguratie.

Een geslaagde Mix-download toont deze route voor die bewerking. Het legt niet de configuratie vast die elke latere client voor het ophalen van pakketten gebruikt.

Gerelateerde artikelen