Fix random "broken pipe"

This commit is contained in:
Ivan Pozdeev 2021-09-21 05:05:29 +03:00
parent 6882be06a6
commit e28661c7e2

View file

@ -44,8 +44,9 @@ extract_initial_comment_block() {
} }
collect_documentation() { collect_documentation() {
# shellcheck disable=SC2016 # `tail` prevents "broken pipe" errors due to `head` closing thge pipe without reading everything
$(type -P gawk awk | head -1) ' # https://superuser.com/questions/554855/how-can-i-fix-a-broken-pipe-error/642932#642932
$(type -P gawk awk | tail -n +1 | head -1) '
/^Summary:/ { /^Summary:/ {
summary = substr($0, 10) summary = substr($0, 10)
next next