Prefer `gawk` over `awk`; fixes issues on systems where `awk` does not support NUL-delimited strings - #214

Closed

jmurty wants to merge 3 commits into

mainfrom

Commits on Jun 8, 2026

Prefer `gawk` over `awk`; fixes issues on systems where `awk` does not support NUL-delimited strings #213
jmurty
committed
e93921d
Fix choice to run `gawk` instead of `awk` to work on systems without `gawk`
jmurty
committed
9c1ed5c
Fix lint error
jmurty
committed
aeac1b1