Wá iru ètò àfibọ̀ Git wo ni ìkọ́ náà ń kà ní tòótọ́

Ṣe àyẹ̀wò náà nínú àyíká kan náà tí irinṣẹ́ ìkọ́ ń fún Git:

git config --show-origin --get-regexp '^http[.].*proxy$'

Fi orísun àti iye wé, kí o sì pa àbájáde tí ó ní ẹ̀rí mọ́ ní ìkọ̀kọ̀. Ìkọ́ tí ó yí HOME padà lè gbé wíwá ètò olùlò Git kúrò níbi ètò iṣẹ́ terminal. XDG_CONFIG_HOME pẹ̀lú ń kópa nínú wíwá ètò olùlò déédéé.

Bí ìlànà tí a pinnu bá jẹ́ fáìlì àgbáyé tí a fọwọ́sí tí ó dúró ṣinṣin, yàn án fún ìfilọ̀ yẹn:

GIT_CONFIG_GLOBAL=/path/to/build.gitconfig git fetch

Èyí yí ìwọlé fáìlì àgbáyé padà, kì í ṣe ètò ìpele ẹ̀rọ, repo tàbí àṣẹ. Fún ìfilọ̀ Git tí kò tààrà, fi àfikún náà kọjá nípasẹ̀ ojú-ìkàwọ́ àyíká ọmọ tí irinṣẹ́ ìkọ́ ń ṣe àtìlẹ́yìn fún.

Fáìlì tí ó kedere yẹn lè di àwọn òfin proxy àti URL tí a nílò mú láìdàkọ àwọn ètò àdáni sínú àpò ilé àìròtẹ́lẹ̀. Jẹ́rìí gbigbe àpamọ́ náà pẹ̀lú: ètò proxy HTTP kò pèsè ọ̀nà fún URL SSH.