Re: bash history

[Arnt Karlsen <arnt@c2i.net>]

On Mon, 15 Nov 2010 18:11:30 +0100, Arnt wrote in message 
<[🔎] 20101115181130.42248199@a45.fmb.no>:

> 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)

..this is where I planned to put a wee example, 
such as: "history |grep -i wh |less ".  ;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.