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