undefined | Better HN

0 pointskqr1y ago0 comments

But I'm not selecting with gestures! I press ctrl-a most of the time. Then I might adjust with shift-space-swipe, much like I would with arrow keys on a physical keyboard.

I hate long pressing. It's so slow and imprecise.

Ctrl-z to undo is an action usually not available from the context menu or elsewhere.

Oh and pressing ctrl-d to send EOF in a subshell in Termux is much more convenient than typing "exit" or whatever.

0 comments

NooneAtAll31y ago

can you explain more about ctrl+d?

notpushkin1y ago

It sends the End Of File character. In most terminal applications, this ends an interactive session. E.g. if you're in a Python REPL and are done with it, you can press Ctrl-D and it will close and return to Bash. Press Ctrl-D once more and Bash will exit as well (and in most cases the terminal emulator will then close, too).

So, just a conventional shortcut to close things.

NooneAtAll31y ago

how is it different from ctrl+c ?

1 more reply

jazzyjackson1y ago

On iOS there was at least at some point a "shake to undo" or a 3 fingered swipe I could never get to trigger, infuriating, I just live without undo now.

vulcan011y ago

On recent iOS versions, you can tap the screen with 3 fingers to get a popup that has 3 options (undo, copy, and paste IIRC).

xp841y ago

The 3 finger tap is infuriatingly hard to trigger for me since if you don’t sync your fingers’ taps perfectly, you’re tapping random elements on the screen, potentially doing something bad, like saving/sending out the bad change, that you were trying to undo. A single triple-tap would have been better, but also there is a full SQUARE INCH of wasted space below the iOS keyboard on current phones. Idk why they can’t make use of some of it to open a cut/copy/paste/undo menu, or heck, add command and control keys too!

shwouchk1y ago

Nice to know! I’m used to having to vigorously shake my phone for undo. And for it randomly popping on when i pull it from a pocket…

lencastre1y ago

What? When?

j / k navigate · click thread line to collapse

0 pointskqr1y ago0 comments

But I'm not selecting with gestures! I press ctrl-a most of the time. Then I might adjust with shift-space-swipe, much like I would with arrow keys on a physical keyboard.

I hate long pressing. It's so slow and imprecise.

Ctrl-z to undo is an action usually not available from the context menu or elsewhere.

Oh and pressing ctrl-d to send EOF in a subshell in Termux is much more convenient than typing "exit" or whatever.

0 comments

NooneAtAll31y ago

can you explain more about ctrl+d?

notpushkin1y ago

So, just a conventional shortcut to close things.

NooneAtAll31y ago

how is it different from ctrl+c ?

1 more reply

jazzyjackson1y ago

On iOS there was at least at some point a "shake to undo" or a 3 fingered swipe I could never get to trigger, infuriating, I just live without undo now.

vulcan011y ago

On recent iOS versions, you can tap the screen with 3 fingers to get a popup that has 3 options (undo, copy, and paste IIRC).

xp841y ago

shwouchk1y ago

Nice to know! I’m used to having to vigorously shake my phone for undo. And for it randomly popping on when i pull it from a pocket…

lencastre1y ago

What? When?

j / k navigate · click thread line to collapse