diff options
| author | Jeroen Wijenbergh <[email protected]> | 2020-07-27 13:04:33 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-07-27 13:04:33 +0200 |
| commit | 00075482e3a7da8f0d85245f2ca79447a3bcb661 (patch) | |
| tree | bc1a08a06dd49bb978d52939f0bed9771a4ac6f4 /examples/scripts | |
| parent | 75d3e47d6949639047dad8d5a18a3ea91100fa9f (diff) | |
Update README.md
Shellcheck: better to use pgrep instead of grepping ps output
Diffstat (limited to 'examples/scripts')
0 files changed, 0 insertions, 0 deletions