diff options
author | Profpatsch <mail@profpatsch.de> | 2021-01-31T14·47+0100 |
---|---|---|
committer | Profpatsch <mail@profpatsch.de> | 2021-01-31T16·06+0000 |
commit | 83634341aa6683e1b96717757557c7d83a89b3fd (patch) | |
tree | 8dbea658a13924e26b7dbb262ec8a7dcb7625035 /users/firefly/keys.nix | |
parent | f0579313d31ac7fafe0f05ee55ecb305bc1cbe23 (diff) |
feat(users/Profpatsch/execline): add args_for_exec r/2175
`exec_into_args` would just read argv and exec into it, but we want to be able to write commands which take some positional arguments first. Thus we split the invocation into `args_for_exec`, which returns the positional arguments and prog, and then pass prog to `exec_into_args` when we want to exec eventually (prog is still an iterator at this point). Change-Id: I0b180c1a100b96363fe33ba2c42034ed41716b7a Reviewed-on: https://cl.tvl.fyi/c/depot/+/2474 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
Diffstat (limited to 'users/firefly/keys.nix')
0 files changed, 0 insertions, 0 deletions