diff options
| author | Erich Eckner <git@eckner.net> | 2020-03-02 11:04:12 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-03-02 11:04:12 +0100 |
| commit | bcc71c94e920cfae54df587486741cc445f36240 (patch) | |
| tree | ebf841f68e607ed4af8549e628661f47dcd5d593 | |
| parent | ed406f5ff79d2d290fdc2245922f08d069522def (diff) | |
| download | update-all-bcc71c94e920cfae54df587486741cc445f36240.tar.xz | |
update-me: silent grep
| -rw-r--r-- | update-me.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update-me.in b/update-me.in index c215cf5..7186ece 100644 --- a/update-me.in +++ b/update-me.in @@ -22,7 +22,7 @@ while [ $# -gt 0 ]; do rm "${safety_file}" exit 0 fi - if pgrep -x update-me | grep -vxF $$; then + if pgrep -x update-me | grep -vqxF $$; then exit 1 else exit 2 |