cabal 无法使用 http 代理

2024-02-11

我的Linux(redhat6)服务器必须使用http代理来连接到外界。虽然它适用于 wget 等其他东西,但它不适用于 cabal。

cabal update -v3

显示这样的错误:

407 - 需要代理身份验证阴谋:下载失败http://hackage.haskell.org/packages/archive/00-index.tar.gz http://hackage.haskell.org/packages/archive/00-index.tar.gz:错误杂项“不成功的 HTTP 代码:407”

我尝试将 http_proxy 环境变量更改为 http:// user: passwd at proxy:port 的格式,但它也不起作用。

同样的问题已被问到here https://stackoverflow.com/questions/9310218/cabal-fails-with-proxy-with-authentication

但我不允许使用像 polipo 这样的代理服务器,还有其他方法可以让 cabal 在代理后面工作吗?


您可以使用cntlm http://cntlm.sourceforge.net/与代理交谈。它将处理身份验证问题。配置并安装后cntlm,通过修改设置新的环境变量http_proxy, https_proxy etc.

Your cabal命令应该在那之后起作用。

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

cabal 无法使用 http 代理 的相关文章

随机推荐

  • 关闭按钮的背光

    我正在开发一个可能在晚上使用的 Android 应用程序 因此 我需要关闭按钮的背光 我怎样才能做到这一点 在我自己的手机上 背光会在一段时间后关闭 但在摩托罗拉 Droid 上 我认为不会发生这种情况 我正在使用唤醒锁来保持屏幕打开 我应
  • 如何在普通表和 fts3 表之间创建触发器?

    我在 FTS3 表和普通数据库表之间切换时遇到问题 我的应用程序非常简单 允许用户将联系人添加到数据库 他们可以搜索与搜索查询匹配的联系人 为什么我使用 fts 表 然后将结果显示在带有 onItemclicklistener 的列表上 但
  • 使用 PACKET_MMAP 和 PACKET_TX_RING 发送数据比“正常”(不使用)慢

    我正在用 C 语言编写一个流量生成器 使用 PACKET MMAP 套接字选项来创建环形缓冲区以通过原始套接字发送数据 环形缓冲区充满了要发送和发送的以太网帧sendto叫做 环形缓冲区的全部内容通过套接字发送 这应该比在内存中拥有缓冲区并
  • 如何使用refresh_token获取新的access_token(使用Flask-OAuthLib)?

    我正在构建一个网站 后端Flask框架 http flask pocoo org 我在其中使用Flask OAuthlib https flask oauthlib readthedocs org en latest 与谷歌进行身份验证 身
  • 在 Twitter API 中使用正则表达式

    我正在使用 Python 中的 Tweepy 库来搜索推文 我想知道是否可以使用正则表达式来搜索推文 我正在使用以下代码 query ARNOLD or SYLVESTER for tweet in tweepy Cursor api se
  • 缓存 Android 中 MapView 上正在绘制的内容

    我正在为我的大学校园开发一个应用程序 该应用程序在 MapView 中显示校园 然后使用geopoints在mapView上使用draw方法绘制校园建筑物的轮廓 该类延伸Overlay http code google com androi
  • EntityGraph - 您必须在描述符处定义提取组管理器才能在查询上设置提取组

    我想在 EclipseLink 和 GlassFish 中使用实体图 Entity NamedQueries NamedQuery name invoice all query SELECT i FROM Invoice i NamedEn
  • kubectl 端口转发多个服务

    我一直在尝试使用以下命令转发多个端口 kubectl port forward deployment service1 8080 8080 kubectl port forward deployment service2 8081 8081
  • 未找到“属性”段的资源

    当使用 ADO Net Data Services 客户端通过调用刷新实体时LoadProperty ctx BeginLoadProperty this Owner IAsyncResult ar gt 如果该属性是 它会在服务器上引发错
  • 工作流程中的 Dynamics CRM 当前日期占位符

    我已将工作流程附加到具有到期日期和时间的实体 那么指示当前时间的适当占位符是什么 CURRENT TIME Sultan 您的问题有点模糊 但如果您通过编辑器谈论 Dynamics CRM 工作流程 则工作流程运行的时间就是执行时间 为此
  • 无法将字符串转换为 pandas 中的浮点数(ValueError)

    我有一个从 JSON 输出创建的数据框 如下所示 Total Revenue Average Revenue Purchase count Rate Date Monday 1 304 40 CA 20 07 CA 2 345 1 54 存
  • 如何在 Python 中从给定 CDF 的分布中采样

    我想从概率分布中抽取样本CDF https en wikipedia org wiki Cumulative distribution function 1 e x 2 python scipy 等中有没有方法 使您能够从仅给定 CDF 的
  • Django 到底什么时候运行查询?

    虽然我了解 Django 的 QuerySet 和延迟执行的高级思想 但我没有在 Django 3 1 2 源代码中看到查询执行是如何触发的 即 数据库被命中 例如 根据Django 文档 https docs djangoproject
  • nasm 汇编linux定时器或睡眠

    我正在尝试找到一种方法让我的代码在继续之前等待两秒钟 我在保护模式下使用Linux的nasm 所以我只能使用int 80h 我找到了一个syscall称为 alarm 27 另一个叫 pause 29 但是 当我尝试使用这些时 程序会等待并
  • Android Fabric - 以自定义间隔发送捕获的异常

    根据 Fabric 文档面料文档 https docs fabric io android crashlytics caught exceptions html为了减少用户流量 仅在应用程序启动时发送捕获的异常 Crashlytics 在专
  • 如何使用 JTidy 从解析的 HTML 中获取错误/警告消息?

    我能够解析 HTML 但我想从解析的 HTML 中提取警告消息并将其显示给用户 这是我的代码 Tidy tidy new Tidy StringBuffer StringBuffer1 new StringBuffer b Hello u
  • java中的抽象和接口[重复]

    这个问题在这里已经有答案了 可能的重复 接口与抽象类 一般面向对象 https stackoverflow com questions 761194 interface vs abstract class general oo 什么时候使用
  • ALT-TAB 应用程序图标像素化

    When a child window of my application is opened and I view the ALT TAB menu the application icon looks pixellated I assu
  • 在 JodaTime 中生成日期范围

    我需要检查数组列表中是否存在日期 字符串 我有两个日期 首先我需要生成这两个日期之间的日期范围并将它们存储在数组中 这就是我正在做的事情 DateTimeFormatter dateFromatter DateTimeFormat forP
  • cabal 无法使用 http 代理

    我的Linux redhat6 服务器必须使用http代理来连接到外界 虽然它适用于 wget 等其他东西 但它不适用于 cabal cabal update v3 显示这样的错误 407 需要代理身份验证阴谋 下载失败http hacka