Re:New(ish) command line tools
by remram on Saturday April 16, 2022 @12:23PM
(#31053607)
I don't see how the shell could know whether you released the Ctrl key?
[ Parent
| on HN ]
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.