בחירת תעבורת ה-HTTP של Cabal משנה היכן שייכים הגדרות ה-proxy

בעיית proxy ב-cabal-install יכולה להיות שאלה על תעבורת ה-HTTP שנבחרה. Cabal מתעד בחירת תעבורה, וממוריד חיצוני curl או Wget מביא עמו את ממשק ה-proxy של אותו כלי.

בדוק את גרסת Cabal המותקנת ואת התעבורה הפעילה לפני חיפוש מתג --no-proxy אוניברסלי. לאחר מכן הגדר את הבקשה דרך הסביבה או האפשרויות המתועדות של הממוריד שנבחר. עבור מקורות חבילות ציבוריים שאליהם מגיעים דרך מתווך HTTP ציבורי מורשה, רשימת ה-proxy של HTTP מציעה מועמדים לנקודות קצה.

אל תכניס הצהרת shell export http_proxy=... לקובץ התצורה של Cabal. לקובץ הזה יש תחביר משלו; הוא אינו מבוצע כ-shell של המסוף שלך.

כמו כן, החזק בנפרד את כתובות המאגר וה-proxy. החלפת מאגר החבילות בוחרת מקור אחר לחבילות. בחירת proxy מעביר משנה את נתיב הרשת שדרכו מגיעים למקור.

אם עטיפה מפעילה את הממוריד, בדוק את הסביבה בפועל של אותו תהליך. משתנה המוצג במסוף לא קשור הוא ראיה חלשה לגבי שירות בנייה. שמור את בחירת התעבורה בדוח כשל כדי שהאדם הבא יידע איזו התנהגות proxy של לקוח יש לחקור.