3 yell
() { echo "$0: $*" >&2; } # print script path and all args to stderr
4 die
() { yell
"$*"; exit 111; } # same as yell() but non-zero exit status
5 must
() { "$@" || die
"cannot $*"; } # runs args as command, reports args if command fails
7 # Desc: Consumes stdin and reads arguments; outputs as stdout lines
8 # Input: stdin (consumes)
10 # Output: stdout (newline delimited)
11 # Example: read_stdin_psarg "$@"
12 # Depends: GNU bash (version 5.1.16)
13 local input_stdin input_psarg output
;
16 if [[ -p /dev
/stdin
]]; then
17 input_stdin
="$(cat -)";
19 yell
"DEBUG:$(declare -p input_stdin)";
22 if [[ $# -gt 0 ]]; then
25 yell
"DEBUG:$(declare -p input_psarg)";
27 # Combine as output array elements
29 if [[ -n $input_stdin ]]; then
30 while read -r line
; do
32 done < <(printf "%s\n" "$input_stdin");
34 ## Read in positional arguments
35 if [[ -n $input_psarg ]]; then
40 yell
"DEBUG:$(declare -p output)";
43 printf "%s\n" "${output[@]}";
44 }; # read stdin and positional argument to stdout lines
47 read_stdin_psarg
"$@";