fix typo

Alan Wang
2020-03-23 23:28:15 +08:00
parent 691def3ff4
commit 9e1ca8816d

@@ -14,7 +14,7 @@ pgrep -f "$service" > /dev/null
### Rationale: ### Rationale:
If you are just after a pid from a running program, then pgrep is a much safer alternative. Especially if you are also looking for a pid belonging to a certain user or group. All of the parameters are in one command and it can eliminate multiple greps, cuts, seds, awks, ect. If you are just after a pid from a running program, then pgrep is a much safer alternative. Especially if you are also looking for a pid belonging to a certain user or group. All of the parameters are in one command and it can eliminate multiple greps, cuts, seds, awks, etc.
If you want a field that's not the pid, consider doing this through `ps` + `pgrep` instead of `ps` + `grep`: If you want a field that's not the pid, consider doing this through `ps` + `pgrep` instead of `ps` + `grep`: