What happened to the consoles?

[Ralf Mardorf]

Hi,

> On 25 Mar 2017, at 17:01, MR ZenWiz <mrzenwiz at gmail.com> wrote:
> 
> psg ()
> {
>    /bin/ps -ef | $grep -i "$*" | $grep -v $grep
> }

What is $grep for?

grep=" grep --some-option"

?

Regards,
Ralf