تنظیم متغیرهای پروکسی برای دانلودر HTTP در Mix

برای دانلودر HTTP در Mix، متغیرهای پروکسی را پیش از اجرای وظیفه موردنظر فراهم کنید. در یک پوسته POSIX:

export HTTP_PROXY=http://proxy.example.net:8080
export HTTPS_PROXY=http://proxy.example.net:8080
export NO_PROXY=localhost,127.0.0.1

واسطه را با نشانی‌ای از فهرست پروکسی‌های HTTP برای مسیر عمومی HTTP انتخاب کنید و استثناهای موردنظر را نگه دارید. سپس وظیفه Mix را از همان محیط اجرا کنید. پیاده‌سازی کنونی Mix نام‌های با حروف بزرگ را پیش از معادل‌های با حروف کوچک بررسی می‌کند و نمایه اختصاصی Erlang خود را پیکربندی می‌کند httpc.

این دانلودهای مدیریت‌شده توسط Mix مانند راه‌اندازی اولیه ابزارها را در بر می‌گیرد. یک وظیفه Mix می‌تواند دانلود را به Hex یا Git نیز بسپارد: Hex پیکربندی http_proxy و https_proxy خود را مستند می‌کند و وابستگی‌های Git از لایه انتقال Git استفاده می‌کنند. تنظیمات آن‌ها بیرون از این پیکربندی دانلودر است.

یک دانلود موفق با Mix این مسیر را برای آن عملیات نشان می‌دهد. اما پیکربندی‌ای را که هر کلاینت بعدی برای گرفتن بسته‌ها به کار می‌برد تعیین نمی‌کند.