Le choix de transport HTTP de Cabal déplace l'emplacement des réglages de proxy
cabal-install peut utiliser un téléchargeur externe. Le comportement de proxy pris en charge dépend alors de ce transport choisi et de l'environnement du processus.
Un problème de proxy dans cabal-install peut être une question sur le transport HTTP sélectionné. Cabal documente un choix de transport, et un téléchargeur externe curl ou Wget apporte avec lui l'interface de proxy de cet outil.
Inspectez la version de Cabal installée et le transport actif avant de chercher un commutateur --no-proxy universel. Configurez ensuite la requête via l'environnement ou les options documentés du téléchargeur choisi. Pour les sources de paquets publiques atteintes via un intermédiaire HTTP public autorisé, la liste de proxys HTTP propose des candidats de point de terminaison.
Ne placez pas une instruction shell export http_proxy=... dans le fichier de configuration de Cabal. Ce fichier a sa propre syntaxe ; il n'est pas exécuté comme votre shell de terminal.
Gardez aussi les adresses du dépôt et du proxy distinctes. Changer le dépôt de paquets sélectionne une autre source de paquets. Choisir un proxy de transfert change le chemin réseau utilisé pour atteindre une source.
Si un wrapper lance le téléchargeur, inspectez l'environnement réel de ce processus. Une variable affichée dans un terminal sans rapport est une preuve faible concernant un service de compilation. Conservez le choix de transport dans un rapport d'échec afin que la personne suivante sache quel comportement de proxy client doit être examiné.