Giter Club home page Giter Club logo

Comments (5)

dramforever avatar dramforever commented on September 26, 2024

新增的应该是 https://github.com/commercialhaskell/stackage-snapshots/，但是问题是并没有办法配置 Stack 使用别的来源的这个 repo。刚看了一下 Stack 文档里面 lts-* 和 nightly-* 是指向 GitHub 的缩写，代码里（准确地说是 Pantry 库代码里）好像是写死的 URL，似乎是个问题，不过可能可以先 clone 下来再说？

https://github.com/commercialhaskell/pantry/blob/a5e52724b3d3ad8997942ab44050b49c5ad34ea7/src/Pantry/Types.hs#L1889-L1905

from tunasync-scripts.

dramforever avatar dramforever commented on September 26, 2024

所以，进展是有人把那个改成可配置的功能做了，等这个什么时候 merge 了 release 了 commercialhaskell/stack#5281 ，用 git 同步 https://github.com/commercialhaskell/stackage-snapshots/ 然后配个 snapshot-location-base 应该就可以访问到了

from tunasync-scripts.

z4yx avatar z4yx commented on September 26, 2024

好耶，tuna/issues#784 有望解决了

from tunasync-scripts.

z4yx avatar z4yx commented on September 26, 2024

上游已合并。我们是不是只需要把同步上述 git 仓库，把仓库内容发布到 https://mirrors.tuna.tsinghua.edu.cn/stackage/stackage-snapshots/ 就可以了？

from tunasync-scripts.

dramforever avatar dramforever commented on September 26, 2024

看了下感觉应该是发布到哪儿都行，然后需要加一些配置。如果没什么问题的话我觉得可以先同步着，万一我弄之前有谁试成功了，没准还能 pr 个配置呢。

from tunasync-scripts.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.