This repository was archived by the owner on Nov 26, 2023. It is now read-only.
Commit 5dec899
engine: exit on Ctrl-D, just like Ctrl-C
Many common CLI applications quit when stdin reaches end-of-file, as
triggered by Ctrl-D. (Examples: `python`, `bash`, `node`, `gdb`, `ed`.)
Though `jiq` is more of a TUI than a CLI, exiting with Ctrl-D still
feels familiar and intuitive to me, and was how I tried to exit `jiq`
the first time that I used it.
wchargin-branch: ctrl-d-exit
wchargin-source: b3ac9be9ce4378b8c3eb82e6d3bc3bb6403d33091 parent 34b0a61 commit 5dec899
1 file changed
+1
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
168 | 168 | | |
169 | 169 | | |
170 | 170 | | |
171 | | - | |
| 171 | + | |
172 | 172 | | |
173 | 173 | | |
174 | 174 | | |
| |||
0 commit comments