diff options
author | sterni <sternenseemann@systemli.org> | 2022-06-01T10·27+0200 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2022-06-01T10·32+0000 |
commit | 89f3f0a5dc710c891a422d530c18a58aa2d336fb (patch) | |
tree | feb9e95a6c3e9ea6ca8dd7d94e3757ca0787564a /third_party/hii | |
parent | ae422c13534d62aae68f06e5e02028dbe6884e33 (diff) |
feat(tools/magrathea): add repl command r/4199
`mg repl` is essentially a shortcut for nix repl $(mg path //) which comes up often enough for me. Launching a repl only really makes sense in the repository root with how readTree works at the moment, so I think this is a convenient addition. Change-Id: I32b695885c2e6eaecdcc656c7249afa504439913 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5822 Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to 'third_party/hii')
0 files changed, 0 insertions, 0 deletions