diff options
author | alois31 <alois1@gmx-topmail.de> | 2024-05-15 15:46:11 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@lix-systems> | 2024-05-15 15:46:11 +0000 |
commit | 0903a99bade6891dd3deba48982d87b7dc29be18 (patch) | |
tree | b027f5c1cbf384932c87b2ec163fe448bee8f26d /doc | |
parent | 312f66b307bc1f857bf8a6927375b0aa365e2f23 (diff) | |
parent | eeb7e718101fbc5c53d3e070d8987e468047d804 (diff) |
Merge changes I8456c47b,I48253f5f into main
* changes:
repl: clear the interrupt before reading the next line
libutil: remove the interrupt-blocking code
Diffstat (limited to 'doc')
-rw-r--r-- | doc/manual/rl-next/repl-interrupt.md | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/manual/rl-next/repl-interrupt.md b/doc/manual/rl-next/repl-interrupt.md new file mode 100644 index 000000000..61a8ab71e --- /dev/null +++ b/doc/manual/rl-next/repl-interrupt.md @@ -0,0 +1,8 @@ +--- +synopsis: Interrupting builds in the REPL works more than once +cls: 1097 +--- + +Builds in the REPL can be interrupted by pressing Ctrl+C. +Previously, this only worked once per REPL session; further attempts would be ignored. +This issue is now fixed, so that builds can be canceled consistently. |