Issettja l-varjabbli tal-proxy għall-downloader HTTP ta’ Mix
Ibda kompitu Mix bl-inputs appoġġjati HTTP_PROXY, HTTPS_PROXY u NO_PROXY, mingħajr ma tqis dik il-konfigurazzjoni bħala setting ta’ Hex jew Git.
Għad-downloader HTTP ta’ Mix, ipprovdi l-varjabbli tal-proxy qabel ma tniedi l-kompitu maħsub. F’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.1Agħżel l-intermedjarju billi tuża indirizz mil-lista ta’ proxies HTTP għal rotta HTTP pubblika, u żomm l-esklużjonijiet maħsuba. Imbagħad ħaddem il-kompitu Mix minn dak l-ambjent. L-implimentazzjoni attwali ta’ Mix tiċċekkja ismijiet b’ittri kbar qabel dawk ekwivalenti b’ittri żgħar u tikkonfigura l-profil Erlang dedikat tiegħu httpc.
Dan ikopri downloads immaniġġjati minn Mix bħall-installazzjoni inizjali tal-għodod. Kompitu Mix jista’ wkoll jiddelega download lil Hex jew Git: Hex jiddokumenta l-konfigurazzjoni tiegħu stess http_proxy u https_proxy, u d-dipendenzi Git jużaw it-trasport ta’ Git. Is-settings tagħhom huma barra minn din il-konfigurazzjoni tad-downloader.
Download Mix li jirnexxi juri din it-triq għal dik l-operazzjoni. Ma jistabbilixxix il-konfigurazzjoni li tuża kull klijent li jġib pakketti wara.