当前位置:首页 > 每日看点

Rust是不是没办法离线开发?

卡卷网2年前 (2024-11-30)每日看点300

我们开发团队遇到过类似的问题:

因为公司有防火墙,只准许你看网页、查资料,但是不准许开发工具(vscode)联网......
我们从别处构建了一个包含所有 Cargo 依赖项的 docker 镜像,然后部署到这个 “没网” 的开发环境中。
结果使用 vscode 的时候,报 rust-analyzer failed to load workspace: xxxx

除了这种从一开始就没网的,还有一种情况:

有网时一切正常,一但断网(甚至网络不好,比如在地铁、高铁上),这时运行 rust-analyzer 的时候就会报 Failed to run "cargo"、"metadata"......
具体报错记不清了,大致如此吧。

当时查了一些资料,因为比较久远了,所以只能给你提供一些思路和关键字:

rust-analyzer 本身不需要联网,但它在加载 workspace 的时候会要求 cargo 提供 metadata,而 cargo 默认需要从 registry server 上下载 crates,你过不了 cargo check,那就啥也干不成......

这时,你可以自己搞个 crates mirror,可以参考这篇:Dissecting Crates.io: Bare Minimum Mirror

Rust是不是没办法离线开发?  第1张

构建一个最低限度的镜像

或者弄一套 local-registry,可以参考这个:GitHub - dhovart/cargo-local-registry: A cargo subcommand to manage local registries

Rust是不是没办法离线开发?  第2张

重定向到本地存储的 registry

再不济,直接 hack 掉 Cargo.lock,可以参考这个:github.com/oconnor663/d

Rust是不是没办法离线开发?  第3张

我们当时的方法是:

  1. 在终端中执行 cargo check --all-targets --offline(细心的话,你会发现上面那个 hack 方法的作者在注释里也提到了);
  2. 或者在 .cargo/config.toml 中添加 offline:

Rust是不是没办法离线开发?  第4张

很多细节记不清了,后来我也没参与过 rust 项目,所以仅供参考。

理论上,方法总是比困难多的,别灰心~

扫描二维码推送至手机访问。

版权声明:本文由卡卷网发布,如需转载请注明出处。

本文链接:https://www.kajuan.net/ttnews/2024/11/2114.html

分享给朋友:

相关文章

请问什么软件支持看电视直播?

请问什么软件支持看电视直播?

2024年9月6日最新更新:本文列举的 所有看电视直播、或流媒体影视资源点播的软件,我这两天又重新梳理成最新版本,最大程度保证可用性。获取方式见文末图片,或见评论。后续我也将持续更新,文章是旧的软件也会是新的,保证你拿到的都是最新可用版本。…

有了Istio,开发还需要微服务架构吗?

有了Istio,开发还需要微服务架构吗?

Istio 是一个开源的服务网格(Service Mesh),通过它可以实现对服务间通信的管理和监控。对于那些本身没有设计为具备安全功能的传统应用程序,Istio 可以提供一个“透明”的安全保护层,而不需要对应用本身进行任何代码修改。…

拼多多,怎么就成为了年轻人的「赛博菜市场」?

拼多多,怎么就成为了年轻人的「赛博菜市场」?

可惜你不在拼多多买水果蔬菜,很难一句话跟你解释,我只能笨拙的用经历来慢慢讲。 我们公司有微波炉,同事们几乎都是自己带饭来上班,便当荤素搭配、水果零食;都是好看又好吃。 我自己本来就不喜欢外卖,当然也加入了带饭大军: 直到某一天深夜我闲着…

有没有高手指点一下Google做SEO现在的技巧啊?心好累。

有没有高手指点一下Google做SEO现在的技巧啊?心好累。

搜索引擎优化 (SEO) 的目标是让 Google 在用户输入相关搜索查询时提供您的网页链接。 虽然没有固定的蓝图可以保证您获得最高排名,但有几种 SEO 最佳实践(您可以将其视为 SEO 规则)可以增加您在非付费结果中获得良好排名的机会。…

怎样拥有一台最便宜的服务器?

怎样拥有一台最便宜的服务器?

内容提示:主打一个 DIY + 极限白嫖 =) 某宝花10块买一个“随身WiFi”,刷入Ubuntu,用SSH远程连接,但是记得一定要把外壳撬掉然后粘个散热器(哪怕是白萝卜也彳亍),否则会过热 详细去酷安社区搜“随身WiFi” ======…

为什么不建议买游戏本?

我建议厂家改名 厂家犯了个巨大错误:游戏本的主要受众是在校大学生,但大学生买电脑的买单人是他们的父母。你让父母给孩子买个游戏本,父母怎么想? 如果你改成高效学习本、优质学习本、智能学习本、高速学习本,甚至硕博连读本,你看看家长舍不舍得砸这个…

发表评论

访客

看不清,换一张

◎欢迎参与讨论,请在这里发表您的看法和观点。