On 10/22/18 1:31 AM, Bernhard Voelker wrote:
>   $tail --help | grep PID

Sorry, it should "$ tail ..." instead, in order to indicate that
"$ " as the well-known, neutral shell prompt.

Have a nice day,
Berny

Reply via email to