Maybe. Was just pointing that fact out though. I've been on reddit for 4 years now. After the community has grown it just seems a bit naive to refer to it as a little exclusive club of intellectualism, or from an outsider's perspective, a meme graveyard. Just an observation.
So then if they create good content, then just link to it. We want to think we're a meritocracy, and we will upvote things if they are good. It's not a popularity contest, nor a political game where we need to "prove" that something/someone is good.
Those are great, here are a couple more i find very useful:
# Search for partial matches in bash history
# so $ <C-p> goes to the previous command but
# $ s<C-p> searches through history entries that start with s
"\C-p":history-search-backward
"\C-n":history-search-forward
# add a trailing '/' when tab completing a symlink
set mark-symlinked-directories on
It seems to have an annoying habit of preserving the index of the last partial match, even if you cancel it. So when you realise you were searching for the wrong substring, cancel and start over, it won't find it because you've now gone past it in the history list.
I'm still not sure of a decent solution to it (apart from using C-s to search history forward instead)
That might be true, but where ever you go, there is always bash installed. zsh not so much. Knowing the tools, that you will always find, is a pretty useful skill.
That is not true at all... if you install FreeBSD out of the box there is no bash installed. Most of my FreeBSD servers don't have bash installed at all because I don't find it necessary at all, tcsh does everything I want it to do.
If you're going to use a system enough to copy your readline & bash config, it would be just as easy to copy your zsh config and install it in the rare case it's not available.
Hmm, does it? I installed it right away and it's pretty much exactly like fish (history traversal with arrows, case-insensitive matching, etc). I might be mistaken and it might just be omz.
Wow, I was going to ask for a link to the reddit article before realizing that the subreddit was simply heavily themed. I had no idea these settings were flexible and I'm very thankful. Thanks for the cross post and for introducing me to another nice subreddit.