diff options
author | Harald Fernengel <harald.fernengel@here.com> | 2023-03-26 07:25:46 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-03-26 08:25:46 +0300 |
commit | 33e35b8fe8f09adcac0632e9cece62e1dd629f7d (patch) | |
tree | 70c6a0731dbd08f458e8ab775f3b589f3e708484 /flake.nix | |
parent | 19726169b379bebc96189673a19b89ab1d307659 (diff) |
Exit from interactive mode if input stream is bad (#491)
Allow exiting the interactive prompt also with CTRL-D on Unix and CTRL-Z
on Windows.
Diffstat (limited to 'flake.nix')
0 files changed, 0 insertions, 0 deletions