diff options
| author | Erich Eckner <git@eckner.net> | 2020-03-02 06:29:07 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-03-02 06:29:07 +0100 |
| commit | e6709e2fecd0e629b179c190dce75f9ef03697f4 (patch) | |
| tree | 4a63c2016018acba7811026622b40c26494969a5 | |
| parent | 4dfdcba468c51335193e128a1d7e0116aed1264b (diff) | |
| download | update-all-e6709e2fecd0e629b179c190dce75f9ef03697f4.tar.xz | |
update-me.in: do not kill - it may not be allowed
| -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 940b86c..c215cf5 100644 --- a/update-me.in +++ b/update-me.in @@ -18,7 +18,7 @@ while [ $# -gt 0 ]; do play_it_safe=true ;; 'x-c') - if [ -f "${safety_file}" ] && kill -0 $(cat "${safety_file}"); then + if [ -f "${safety_file}" ] && ps $(cat "${safety_file}") >/dev/null; then rm "${safety_file}" exit 0 fi |