Home

Pack

Manually

1. Edit ~/.pack/user/pack.toml
2. Add

[custom.all.wasabaye]
type = "github"
url = "https://github.com/idris-bayes/wasabaye"
commit = "<specific-commit>"
ipkg = "wasabaye.ipkg"

3. Run pack update-db Make sure idris2 is being run from ~/.pack/bin, not from ~/.idris2

---

The new feature is available with today's nightly. Just update the DB with pack update-db, set the collection in your pack.toml to nightly-220614, and switch the $HOME/.pack/bin symlink with pack switch nightly-220614. You can use the following syntax (in your pack.toml) to use the latest commit of a specific branch in a repo (in this example, the branche's name is sys):

[custom.all.rio]
type   = "github"
url    = "https://github.com/stefan-hoeck/idris2-rio"
commit = "latest:sys"
ipkg   = "rio.ipkg"

---

1. You can install pack-admin (via pack install-app pack-admin).
2. Next, add the git repos plus branch to use to file $HOME/.pack/db/HEAD.toml. E.g.

[db.distributions]
type        = "github"
url         = "https://github.com/idris-bayes/distributions"
commit      = "master"
ipkg        = "distributions.ipkg"
packagePath = false

3. You can now fetch the latest commits of all packages on the given branches with pack-admin extract-from-head "$HOME/.pack/db/HEAD.toml". (If you have added your packages to the list of autoinstall libraries in your pack.toml file, pack will automatically update these packages if necessary. -- I (Min) didn't find this necessary, so maybe this point is orthogonal)