diff options
author | sterni <sternenseemann@systemli.org> | 2022-02-13T18·30+0100 |
---|---|---|
committer | sterni <sternenseemann@systemli.org> | 2022-02-18T12·06+0000 |
commit | 01b25ebd8e21692bddf724b5c02a9849c2a5427c (patch) | |
tree | 8c7829ab7463642ea7f03c8be76587f6f4f8433d /nix/writeScript | |
parent | 71d6a02ca19857a06bc789f09c885e5cd77f7212 (diff) |
feat(tools/magrathea): implement run command r/3857
This command builds the desired target and runs the executable produced by it. If a directory is produced, it looks for a single (!) executable in the bin directory. Dot files are ignored, so wrappers should generally work. In the future we could provide a flag to select one of multiple executables. All arguments following the target are passed to the executable as is. Examples: mg run ops/mq_cli ls mg run web/bubblegum:examples Change-Id: I6490668af68e028520973196d9daa5f1d58969ee Reviewed-on: https://cl.tvl.fyi/c/depot/+/5277 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
Diffstat (limited to 'nix/writeScript')
0 files changed, 0 insertions, 0 deletions