Don't exit out of piped loop

Can cause the stdin of cat to close too soon causing:

  echo: write error: Broken pipe

Fixes #97
This commit is contained in:
Joshua Peek 2011-09-28 12:06:53 -05:00
parent 4712db8edd
commit 149e61a649

View file

@ -7,13 +7,18 @@ VERSION_FILE="$1"
if [ -e "$VERSION_FILE" ]; then if [ -e "$VERSION_FILE" ]; then
# Read and print the first non-whitespace word from the specified # Read and print the first non-whitespace word from the specified
# version file. # version file.
version=""
while read -a words; do while read -a words; do
version="${words[0]}" word="${words[0]}"
if [ -z "$version" ] && [ -n "$word" ]; then
version="$word"
fi
done < <( cat "$VERSION_FILE" && echo )
if [ -n "$version" ]; then if [ -n "$version" ]; then
echo "$version" echo "$version"
exit exit
fi fi
done < <( cat "$VERSION_FILE" && echo )
fi fi
exit 1 exit 1