From 46510bbb6428bbd515c9e26e837c44822bb4a49f Mon Sep 17 00:00:00 2001 From: Tim Ledbetter Date: Mon, 15 May 2023 17:35:21 +0100 Subject: [PATCH] Base: Add man page for pgrep --- Base/usr/share/man/man1/pgrep.md | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 Base/usr/share/man/man1/pgrep.md diff --git a/Base/usr/share/man/man1/pgrep.md b/Base/usr/share/man/man1/pgrep.md new file mode 100644 index 0000000000..ecc4030d12 --- /dev/null +++ b/Base/usr/share/man/man1/pgrep.md @@ -0,0 +1,19 @@ +## Name + +pgrep - look up processes based on name + +## Synopsis + +```sh +$ pgrep [-d delimiter] [-i] [--invert-match] +``` + +## Options + +* `-d`, `--delimiter`: Set the string used to delimit multiple pids +* `-i`: Make matches case-insensitive +* `-v`, `--invert-match`: Select non-matching lines + +## Arguments + +* `process-name`: Process name to search for