有人幸运地尝试在公司代理后面使用 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。显然这不是运行任何东西的正常方式。