Cabals Wahl des HTTP-Transports verschiebt, wohin die Proxy-Einstellungen gehören
cabal-install kann einen externen Downloader verwenden. Das unterstützte Proxy-Verhalten hängt dann vom gewählten Transport und der Prozessumgebung ab.
Ein Proxy-Problem in cabal-install kann eine Frage nach dem gewählten HTTP-Transport sein. Cabal dokumentiert eine Transportwahl, und ein externer curl- oder Wget-Downloader bringt die Proxy-Schnittstelle dieses Werkzeugs mit.
Prüfen Sie die installierte Cabal-Version und den aktiven Transport, bevor Sie nach einem universellen --no-proxy-Schalter suchen. Konfigurieren Sie die Anfrage dann über die dokumentierte Umgebung oder die Optionen des gewählten Downloaders. Für öffentliche Paketquellen, die über einen erlaubten öffentlichen HTTP-Vermittler erreicht werden, bietet die HTTP-Proxy-Liste Endpunktkandidaten.
Setzen Sie keine Shell-Anweisung export http_proxy=... in Cabals Konfigurationsdatei. Diese Datei hat ihre eigene Syntax; sie wird nicht als Ihre Terminal-Shell ausgeführt.
Halten Sie außerdem Repository- und Proxy-Adressen getrennt. Ein anderes Paket-Repository wählt eine andere Paketquelle. Ein Weiterleitungsproxy ändert den Netzwerkpfad, über den eine Quelle erreicht wird.
Wenn ein Wrapper den Downloader startet, prüfen Sie die tatsächliche Umgebung dieses Prozesses. Eine Variable in einem unabhängigen Terminal ist ein schwacher Beleg für einen Build-Dienst. Halten Sie die Transportwahl in einem Fehlerbericht fest, damit die nächste Person weiß, welches Proxy-Verhalten eines Clients zu untersuchen ist.