false || { rc=$?; echo $rc; exit $rc } || : Exits current shell without possibility to prevent that. Signed-off-by: Igor Gnatenko <i.gnatenko.brain@gmail.com>pull/2877/head
parent
0538009d30
commit
18675c3dea
1 changed files with 2 additions and 2 deletions
Loading…
Reference in new issue