diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2021-11-26 14:21:04 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-26 14:21:04 +0100 |
| commit | 55275fcc5966cfad80fb6dc77b8d8939a2f1b8e0 (patch) | |
| tree | 416ff94ac006e345aa50d49847368350adb84656 /shell.nix | |
| parent | b653fb9ccf2805f98b9777baec9cd4908f03bb3d (diff) | |
| parent | 3ef66cd23a81ae809bee8c27c0d65c3699be5c66 (diff) | |
Merge pull request #5665 from edolstra/repl-reset-terminal
nix repl: Reset the terminal on exceptional exits
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions