7ef0d62730
Merge commit '1b593e1ea4d2af0f6444d9a7788d5d99abd6fde5' as 'third_party/git'
7 lines
268 B
Text
7 lines
268 B
Text
# LINT: 'while' loop cuddled with "(" and ")", with embedded (allowed)
|
|
# LINT: "|| exit {n}" to exit loop early, and using redirection "<" to feed
|
|
# LINT: loop; indented with spaces, not tabs
|
|
( while read x
|
|
do foobar bop || exit 1
|
|
done <file ) &&
|
|
outside subshell
|