diff options
| author | Dario Oddenino | 2022-08-05 02:15:50 +0000 |
|---|---|---|
| committer | GitHub | 2022-08-05 02:15:50 +0000 |
| commit | 3121353c6ab2fbc5fced28f075c7fc45b53b661e (patch) | |
| tree | bf9d5e8d514b3bb0a76ed152b65d1d913f9ab44c /runtime/queries/elm/locals.scm | |
| parent | c2a6d29ffc0f7696e6b8ea92029a956d37991c1e (diff) | |
Avoid setting stdin handle when not necessary (#3248)
* Avoid setting stdin handle when not necessary
Avoid setting the stdin handle in `shell_impl` when the input argument
is None.
This permits to run commands with no stdin with :sh
* refactoring to avoid code duplication
* making clippy happy
* Process variable name fix
Diffstat (limited to 'runtime/queries/elm/locals.scm')
0 files changed, 0 insertions, 0 deletions