Readit News logoReadit News
lohfu commented on I want an iPhone Mini-sized Android phone (2022)   smallandroidphone.com/... · Posted by u/asimops
Jtsummers · 8 months ago
Through 2028 most likely, possibly longer, based on their OS support history (about 7 years).
lohfu · 8 months ago
The 6s, released 2015, still gets security updates once in a blue moon
lohfu commented on Why is my CPU usage always 100%?   downtowndougbrown.com/202... · Posted by u/pncnmnp
g-b-r · a year ago
I expected it to be about holding down the spacebar :/
lohfu · a year ago
He must running version 10.17 or newer
lohfu commented on A proof of proof by infinite descent   relatedwork.blogspot.com/... · Posted by u/matt_d
lisper · 2 years ago
You'd be surprised at the number of things that appear to be self-evidently true that turn out to depend on tacit assumptions. For example, is 7 prime? Not if you're doing modular arithmetic.
lohfu · 2 years ago
i think they were joking, but i can't prove it
lohfu commented on Things you didn't know about GNU readline (2019)   twobithistory.org/2019/08... · Posted by u/meribold
usr1106 · 2 years ago
The article feels incomplete for not not mentioning the bash built-in called bind. It allows you to work with the reeadline bindings.

I use Ctrl-R a lot to find previous commands from my shell history. Often I have to press Ctrl-R several or even many times to find the right one. And then it happens that I overshoot and would like to change the search direction. Unfortunately forward-search-history is on Ctrl-S, which is overloaded by flow control. Occasionally I use flow control, so I cannot remove that. What solution are others using to get forward-search-history?

lohfu · 2 years ago
fzf has pretty killer history fuzzy search. Just load its keybindings in your .bashrc

Dead Comment

Dead Comment

lohfu commented on Unveiling URI, URL, and URN   blog.logto.io/unveiling-u... · Posted by u/thunderbong
lohfu · 2 years ago
It pains me greatly that the host name part is in lack of a better name unimportance to significance in domain names, but significance to unimportance in URL paths

u/lohfu

KarmaCake day142March 21, 2016View Original