Re: bash history

[Arnt Karlsen <arnt@c2i.net>]

On Sun, 14 Nov 2010 16:00:50 -0700, Bob wrote in message 
<[🔎] 20101114230050.GA7358@hysteria.proulx.com>:

> Kjetil brinchmann Halvorsen wrote:
> > So I'm trying to use Ctrl-R to do reverse search in the history.
> > Thia is what happens; I try to search for "white":
> 
> Here you say "white" in lower case letters.
> 
> > kjetil@kjetil:~$ history | tail
> >   284  Sunday  2010-11-14  [19:37:03 -0300] history 10
> >   285  Sunday  2010-11-14  [19:37:03 -0300] cat .bash_history |
> > grep wget 286  Sunday  2010-11-14  [19:37:03 -0300] history | head
> >   287  Sunday  2010-11-14  [19:37:03 -0300] du
> >   288  Sunday  2010-11-14  [19:37:03 -0300] echo "White cat"
> >   289  Sunday  2010-11-14  [19:37:03 -0300] !
> >   290  Sunday  2010-11-14  [19:37:03 -0300] echo "White cat"
> >   291  Sunday  2010-11-14  [19:37:03 -0300] echo "Black duck" echo
> > "Black duck" 292  Sunday  2010-11-14  [19:37:03 -0300] aptitude why
> > patch 293  Sunday  2010-11-14  [19:42:01 -0300] history | tail
> 
> Your history only shows "White" with a capitalized 'W'.
> 
> > (reverse-i-search)`wh': aptitude why patch
> > 
> > --- After typing "wh" (without the quotes), it does not accept more
> > letters!
> > 
> > Why? What am I doing wrong?
> 
> 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

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