Yíyan HTTP transport ti Cabal máa ń yí ibi tí ètò proxy yẹ kí ó wà
cabal-install lè lo ẹrọ ìgbàlódé ode. Ìhùwàsí proxy tí a ń ṣe àtìlẹ́yìn fún máa ń sinmi lórí irin-àjò tí a yàn àti àyíká ìlànà.
Ìṣòro proxy nínú cabal-install lè jẹ́ ìbéèrè nípa irin-àjò HTTP tí a yàn. Cabal máa ń ṣe àkọsílẹ̀ ìyàn irin-àjò, ẹrọ ìgbàlódé curl tàbí Wget sì máa ń mú ojú-ìwé proxy ti irinṣẹ́ yẹn wá.
Yẹ ẹ̀yà Cabal tí a gbé sílẹ̀ àti irin-àjò tí ń ṣiṣẹ́ wò kí o tó wá ṣísẹ́ --no-proxy gbogbo. Lẹ́yìn náà ṣètò ìbéèrè náà nípasẹ̀ àyíká tàbí àwọn àṣàyàn tí a kọ sílẹ̀ ti ẹrọ ìgbàlódé tí a yàn. Fún àwọn orísun àkójọpọ̀ gbangba tí a ń dé nípasẹ̀ alárinà HTTP gbangba tí a gbà láàyè, àkójọ proxy HTTP máa ń pèsè àwọn olùdíje ibi-ìparí.
Má ṣe fi gbólóhùn shell export http_proxy=... sínú fáìlì ètò Cabal. Fáìlì yẹn ní àfọ̀mọ́ tirẹ̀; a kì í ṣe é gẹ́gẹ́ bi shell terminal rẹ.
Tún pa àwọn àdírẹ́sì ibi-ìpamọ́ àti ti proxy mọ̀ ọ́tọ̀ọ̀tọ̀. Yíyí ibi-ìpamọ́ àkójọpọ̀ yí yóò yan orísun àkójọpọ̀ mìíràn. Yíyan proxy tí ń fi ránṣẹ́ máa ń yí ọ̀nà nẹ́tíwọ́kì tí a lò láti dé orísun kan.
Bí ìkúnlẹ̀ kan bá dá ẹrọ ìgbàlódé sílẹ̀, yẹ àyíká gidi ti ìlànà yẹn wò. Àyípadà tí a fi hàn nínú terminal tí kò ní í ṣe jẹ́ ẹ̀rí aláìlágbára nípa iṣẹ́ ìkọ́lé. Fi ìyàn irin-àjò náà pamọ́ nínú ìròyìn ìkùnà kí ẹni tó kàn lè mọ èyí tí ìhùwàsí proxy ọ̀dọ́gbà wo ni a gbọ́dọ̀ ṣèwádìí.