Esportatu proxy aldagaiak GNU Make errezetetara

make-k deskargatzailea exekutatzen du; deskargatzaileak erabakitzen du nola erabili proxy bat. GNU make-rako, esportatu aldagaiak Makefile mailan errezeta garrantzitsu bakoitzak jaso behar dituenean:

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

Errezeta lerroa tabuladore batekin hasten da. export direktibak make-ren sintaxiaren parte dira eta balioak komandoen ingurunera pasatzen dituzte.

Errezeta lerro bateko shell export bat normalean hurrengo lerroa baino lehen desagertzen da, GNU make-k lerro bakoitzerako shell bereizi bat deitzen duelako. Komando bakar baterako, erabili shell esleipena komando horrekin zuzenean:

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

Erabili deskargatzailearen dokumentatutako aldagai-izenak eta proxy protokoloa. Eraikuntzak HTTP amaiera publiko bat erabil badezake, aukeratu hautagai bat HTTP proxy zerrendatik ingurune-balio horietarako. Aldagai hauek baztertzen dituen exekutagarriak bere proxy aukera behar du. Kredentzialak hobe daude eraikuntza-ingurunearen bidez ematea Makefilen gordetzea baino.

Esportazio hauek komando seme-alabei eragiten diete. Ez dute guraso terminalaren ingurunea aldatzen make amaitzean.