@b214e325 My keyboard doesn't work - so I can't hit CTRL 🙂 I'm using bash in Gnome Terminal.
@2fd7551e yeah, that's what I figured. On-screen keyboard, maybe? Although that's avoiding the problem rather than solving it
@b214e325 OSK could work - if I could figure out how to launch it without a keyboard