diff options
| author | Aspen Smith <grfn@gws.fyi> | 2023-12-10T20·46-0500 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2023-12-12T11·44+0000 |
| commit | 02c66218138f6cf8eeb1437687c5cfddbe27fdd9 (patch) | |
| tree | e8241b533de889b1efcf437f5eb7930e244d0053 /tvix/eval/src/value/thunk.rs | |
| parent | 8018313b6880d9fae71ba189a476502b68a26d25 (diff) | |
feat(tools/magrathea): Allow running commands in a shell r/7162
Add support for running a command inside a `mg shell`, specified as an extra argument after the target to the shell command Change-Id: Icbbd9cf4e1f099fcd7e6b13655b8447775a236d2 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10247 Autosubmit: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
Diffstat (limited to 'tvix/eval/src/value/thunk.rs')
0 files changed, 0 insertions, 0 deletions