有没有人幸运地尝试使用 vertx bihind 公司代理?我已经尝试了任何可能的方法来向 vertx 提供代理信息。到目前为止没有任何效果。
设置环境变量 http_proxy= http://mycorporate.proxy.com:8080 - 不走运
设置环境变量 VERTX_OPTS='-Dhttp.proxyHost=mycorporate.proxy.com -Dhttp.proxyPort=8080' - 不走运
设置环境变量 http.proxyHost=mycorporate.proxy.com http.proxyPort=8080 没有运气
在 vertx 命令中注入额外的 echo 我可以看到代理相关的参数正在正确传递给 JVM,但仍然无法下载所需的模块(“vertx run hello.js”显然在尝试下载 io.vertx~lang-rhino~ 2.0.0-最终版)
代理本身没问题 - 我将它用于 maven、sbt 和其他需要代理的不同东西没有问题 在家使用的同一台笔记本电脑可以通过下载 io.vertx~lang-rhino~2.0 成功运行“vertx run hello.js” .0-final(第一次运行)
我刚刚开始为我们公司的需求评估 vertx,这是我第一个阻碍我进一步尝试做出决定的瓶颈。到目前为止,我必须按照以下步骤作为解决方法: 1 从家里运行并在 sys-mods 中获取所需的任何模块。2 回到办公室后,手动将模块上传到测试服务器上的 sys-mods。显然,这不是运行任何东西的正常方式。