Esporta varjabbli tal-proxy lejn riċetti GNU Make

make iħaddem id-downloader; id-downloader jiddeċiedi kif jintuża proxy. Għal GNU make, esporta l-varjabbli fil-livell tal-Makefile meta kull riċetta rilevanti għandha tirċevihom:

export http_proxy := http://proxy.example:8080
export https_proxy := http://proxy.example:8080

fetch:
	curl --fail --output package.tar.gz https://downloads.example/package.tar.gz

Il-linja tar-riċetta tibda b'tab. Id-direttivi export jappartjenu għas-sintassi ta' make u jgħaddu l-valuri fl-ambjent tal-kmandi.

shell export fuq linja waħda tar-riċetta normalment jisparixxi qabel il-linja li jmiss, għax GNU make isejjaħ shell separat għal kull linja. Għal kmand wieħed, uża minflok assenjament ta' shell direttament ma' dak il-kmand:

fetch:
	http_proxy=http://proxy.example:8080 https_proxy=http://proxy.example:8080 curl --fail https://downloads.example/package.tar.gz

Uża l-ismijiet tal-varjabbli u l-protokoll tal-proxy iddokumentati mid-downloader. Jekk il-bini jista' juża endpoint HTTP pubbliku, agħżel kandidat mil-lista tal-proxy HTTP għal dawk il-valuri tal-ambjent. Fajl eżegwibbli li jinjora dawn il-varjabbli jeħtieġ l-għażla tal-proxy tiegħu stess. L-credentials aħjar jiġu pprovduti mill-ambjent tal-bini milli jinkitbu fil-Makefile.

Dawn l-esportazzjonijiet jaffettwaw il-kmandi tat-tfal. Ma jbiddlux l-ambjent tat-terminal prinċipali wara li make jispiċċa.