diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-05-20 15:22:41 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-05-20 15:22:41 -0400 |
| commit | efb3aae55908cb88f5a9c900d6563603ab792d6a (patch) | |
| tree | ce4293828ab43de4e6440bed0accf871a2d82f94 /docs/versions.md | |
| parent | 3d313c5956510a807c2ce7d1ffd9c3bfbb708444 (diff) | |
Add more advanced configuration options to modules.ini and support
automatically downloading and installing from it.
Diffstat (limited to 'docs/versions.md')
| -rw-r--r-- | docs/versions.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/versions.md b/docs/versions.md index db7a1036..c68d1f81 100644 --- a/docs/versions.md +++ b/docs/versions.md @@ -70,8 +70,8 @@ version number will be used to determine its installation location and how it's used in code. You must either explicitly import the library with its version number (e.g. `use foo_v1.2`) or include a `modules.ini` configuration file that maps a shorthand alias to a specific version of a library. For example, if the -`modules.ini` file has `foo=foo_v1.2`, you can put `use foo` to use v1.2 of the -`foo` library (assuming you have it installed). +`modules.ini` file has a `[foo]` section with `version=v1.2`, you can put `use +foo` to use v1.2 of the `foo` library (assuming you have it installed). # Rationale |