Hi Paul,
When I use type grep I get following :
$ type grep
grep is a function
grep ()
{
/usr/bin/grep --color=auto $*
}
When I use which grep I get following:
$which grep
/usr/bin/grep
-Solti
On Tue, Jul 26, 2016 at 2:15 AM, Paul Eggert <egg...@cs.ucla.edu> wrote:
> It appears that you have an alias or other implementation of 'grep', and
> that this is not a bug in GNU 'grep' per se. If you are using a shell like
> 'bash', try these two shell commands to see which 'grep' you are actually
> using.
>
> type grep
> which grep
>
>
