I don't see how the shell could know whether you released the Ctrl key?
Re:New(ish) command line tools
by chrisshroba on Monday April 18, 2022 @03:11PM
(#31075100)
Whoops, you're right, I assumed my muscle memory was the source of truth heh.
[1]: https://nuclearsquid.com/writings/edit-long-commands/