Guest User

Untitled

a guest
Jul 18th, 2018
72
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.14 KB | None | 0 0
  1. echo "'${PIPESTATUS[0]}' '${PIPESTATUS[1]}'"
  2. if [[ "${PIPESTATUS[0]}" == 0 ]] && [[ "${PIPESTATUS[1]}" == 0 ]] ; then
  3. exit
  4. else
  5. exit 1
  6. fi
Add Comment
Please, Sign In to add comment