diff options
| author | Franck Cuny <franck@fcuny.net> | 2022-08-06 12:50:56 -0700 |
|---|---|---|
| committer | Franck Cuny <franck@fcuny.net> | 2022-08-06 13:01:23 -0700 |
| commit | 1db8ba6f4b4b6120702845027604d5da598a991e (patch) | |
| tree | 53f26407de4e241e42de8a15dc5f6a72038b70ee /tools/govanity/Dockerfile | |
| parent | ref(ci): delete custom scripts for formatting (diff) | |
| download | world-1db8ba6f4b4b6120702845027604d5da598a991e.tar.gz | |
ref(tools): simplify the import of tools
In the `mkSystem` function, instead of defining each tools, let's import all of them at once. This works both with installing a tool from a module or running them from the CLI. Change-Id: Ia44ff9a45b54a1ecea6f6b02b4cad2956799f627 Reviewed-on: https://cl.fcuny.net/c/world/+/682 Tested-by: CI Reviewed-by: Franck Cuny <franck@fcuny.net>
Diffstat (limited to 'tools/govanity/Dockerfile')
0 files changed, 0 insertions, 0 deletions