Menyetel variabel proxy untuk pengunduh HTTP Mix
Jalankan tugas Mix dengan input HTTP_PROXY, HTTPS_PROXY, dan NO_PROXY yang didukung, tanpa memperlakukan konfigurasi itu sebagai pengaturan Hex atau Git.
Untuk pengunduh HTTP Mix, sediakan variabel proxy sebelum menjalankan tugas yang dimaksud. Di shell POSIX:
export HTTP_PROXY=http://proxy.example.net:8080
export HTTPS_PROXY=http://proxy.example.net:8080
export NO_PROXY=localhost,127.0.0.1Pilih perantara menggunakan alamat dari daftar proxy HTTP untuk rute HTTP publik, dan pertahankan pengecualian yang dimaksud. Lalu jalankan tugas Mix dari lingkungan itu. Implementasi Mix saat ini memeriksa nama huruf besar sebelum padanan huruf kecilnya dan mengonfigurasi profil Erlang khusus miliknya httpc.
Ini mencakup unduhan yang dikelola Mix seperti bootstrap alat. Tugas Mix juga dapat mendelegasikan unduhan ke Hex atau Git: Hex mendokumentasikan konfigurasi http_proxy dan https_proxy miliknya sendiri, dan dependensi Git menggunakan transport Git. Pengaturan mereka berada di luar konfigurasi pengunduh ini.
Unduhan Mix yang berhasil menunjukkan jalur ini untuk operasi tersebut. Itu tidak menetapkan konfigurasi yang dipakai setiap klien pengambil paket berikutnya.