2019-11-14 08:19:19 +0000, Stephane Chazelas:
[...]
> if [ "$(kill -l "$?")" -eq PIPE ]; then...
[...]

Sorry, should have been:

 if [ "$(kill -l "$?")" = PIPE ]; then...

-- 
Stephane


Reply via email to