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 /examples/ini | |
| parent | 3d313c5956510a807c2ce7d1ffd9c3bfbb708444 (diff) | |
Add more advanced configuration options to modules.ini and support
automatically downloading and installing from it.
Diffstat (limited to 'examples/ini')
| -rw-r--r-- | examples/ini/ini.tm | 2 | ||||
| -rw-r--r-- | examples/ini/modules.ini | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/examples/ini/ini.tm b/examples/ini/ini.tm index 9bcfb3a4..4dc27725 100644 --- a/examples/ini/ini.tm +++ b/examples/ini/ini.tm @@ -1,5 +1,5 @@ -use patterns_v1.0 +use patterns _USAGE := " Usage: ini <filename> "[section[/key]]" diff --git a/examples/ini/modules.ini b/examples/ini/modules.ini new file mode 100644 index 00000000..fb52a859 --- /dev/null +++ b/examples/ini/modules.ini @@ -0,0 +1,2 @@ +[patterns] +version=v1.0 |