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
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