انتخاب ترابری HTTP در Cabal جای تنظیمات پروکسی را تغییر میدهد
cabal-install میتواند از یک دانلودکننده خارجی استفاده کند. رفتار پروکسی پشتیبانیشده آنگاه به همان ترابری انتخابشده و محیط فرایند بستگی دارد.
یک مشکل پروکسی در cabal-install میتواند پرسشی درباره ترابری HTTP انتخابشده باشد. Cabal انتخاب ترابری را مستند میکند، و دانلودکننده خارجی curl یا Wget رابط پروکسی همان ابزار را با خود میآورد.
پیش از جستوجوی یک کلید --no-proxy عمومی، نسخه نصبشده Cabal و ترابری فعال را بررسی کنید. سپس درخواست را از طریق محیط یا گزینههای مستند دانلودکننده انتخابشده پیکربندی کنید. برای منابع بسته عمومی که از طریق یک واسط HTTP عمومی مجاز قابل دسترسیاند، فهرست پروکسی HTTP نامزدهای نقطه پایانی ارائه میدهد.
دستور شل export http_proxy=... را در فایل پیکربندی Cabal قرار ندهید. آن فایل نحو خودش را دارد؛ بهعنوان شل ترمینال شما اجرا نمیشود.
نشانی مخزن و پروکسی را نیز جدا نگه دارید. تغییر مخزن بسته منبع دیگری از بستهها را انتخاب میکند. انتخاب یک پروکسی ارسالکننده مسیر شبکهای را که برای رسیدن به منبع استفاده میشود تغییر میدهد.
اگر پوششی دانلودکننده را اجرا میکند، محیط واقعی همان فرایند را بررسی کنید. متغیری که در ترمینالی نامرتبط نمایش داده میشود شواهدی ضعیف درباره یک سرویس ساخت است. انتخاب ترابری را در گزارش خطا حفظ کنید تا نفر بعد بداند رفتار پروکسی کدام کارخواه باید بررسی شود.