Re: bash history

[Arnt Karlsen <arnt@c2i.net>]

On Sun, 14 Nov 2010 19:51:18 -0700, Bob wrote in message 
<[🔎] 20101115025118.GA1048@hysteria.proulx.com>:

> Arnt Karlsen wrote:
> > Bob wrote in message:
> > > Kjetil brinchmann Halvorsen wrote:
> > > > (reverse-i-search)`wh': aptitude why patch
> > > > --- After typing "wh" (without the quotes), it does not accept
> > > > more letters!
> > >
> > > What you are missing is that the search is case sensitive.  The
> > > "Wh" in "White" is *not* matched by "wh" with lower case 'w'.
> > 
> > ..from grep --help |less: ;o)
> >  -i, --ignore-case         ignore case distinctions
> 
> That is a grep option.  It doesn't apply to bash's history search.

..correct, that's _why_ we use such grep pipes instead. ;o)

> As far as I know there is no option to ignore case in bash's history
> search.  But I don't know very much about such things.
> 
> Bob


-- 
..med vennlig hilsen = with Kind Regards from Arnt... ;o)
...with a number of polar bear hunters in his ancestry...
  Scenarios always come in sets of three: 
  best case, worst case, and just in case.