Ṣètò àwọn èròjà proxy fún ẹ̀rọ ìgbàlódé HTTP ti Mix

Bẹ̀rẹ̀ iṣẹ́ Mix pẹ̀lú àwọn ìwọlé HTTP_PROXY, HTTPS_PROXY àti NO_PROXY tí ó ní àtìlẹ́yìn, láìka eto yẹn sí ètò Hex tàbí Git.

Fún ẹ̀rọ ìgbàlódé HTTP ti Mix, pèsè àwọn èròjà proxy kí o tó bẹ̀rẹ̀ iṣẹ́ tí o fẹ́. Nínú 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

Yan alárinà nípa lílo àdírẹ́sì láti àtòjọ proxy HTTP fún ipa-ọ̀nà HTTP gbogbogbò, kí o sì pa àwọn ìyàtọ̀ tí o fẹ́ mọ́. Lẹ́yìn náà ṣe iṣẹ́ Mix láti àyíká yẹn. Ìmúṣẹ́ Mix lọ́wọ́lọ́wọ́ ń ṣàyẹ̀wò àwọn orúkọ pẹ̀lú lẹ́tà ńlá kí ó tó ṣe àwọn ìbámu lẹ́tà kékeré, ó sì ṣètò profáìlì Erlang àkànṣe rẹ̀ httpc.

Èyí bo àwọn ìgbàlódé tí Mix ń ṣàkóso bí ìgbésẹ̀ àkọ́kọ́ ti irinṣẹ́. Iṣẹ́ Mix tún lè fi ìgbàlódé lé Hex tàbí Git lọ́wọ́: Hex ń ṣàkọsílẹ̀ ètò rẹ̀ http_proxy àti https_proxy, àwọn ìgbẹ́kẹ̀lé Git sì ń lo ọ̀nà ìrìnàjò Git. Àwọn ètò wọn wà ní ìta ètò ẹ̀rọ ìgbàlódé yìí.

Ìgbàlódé Mix tí ó ṣàṣeyọrí fi ipa-ọ̀nà yìí hàn fún iṣẹ́ yẹn. Kò fi ètò tí gbogbo ẹ̀rọ tí ń gba àpòlẹ́pò lẹ́yìn náà ń lò múlẹ̀.

Àwọn àpilẹ̀kọ tó jọra