On Mon, 15 Nov 2010 18:11:30 +0100, Arnt wrote in message <20101115181130.42248...@a45.fmb.no>:
> On Sun, 14 Nov 2010 19:51:18 -0700, Bob wrote in message > <20101115025118.ga1...@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. -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20101115183308.39749...@a45.fmb.no
