about summary refs log tree commit diff
path: root/.gitignore
diff options
context:
space:
mode:
authorsterni <sternenseemann@systemli.org>2022-06-01T10·27+0200
committerclbot <clbot@tvl.fyi>2022-06-01T10·32+0000
commit89f3f0a5dc710c891a422d530c18a58aa2d336fb (patch)
treefeb9e95a6c3e9ea6ca8dd7d94e3757ca0787564a /.gitignore
parentae422c13534d62aae68f06e5e02028dbe6884e33 (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 '.gitignore')
0 files changed, 0 insertions, 0 deletions