13 lines
177 B
Bash
13 lines
177 B
Bash
# gawk
|
|
|
|
#| gawk
|
|
rwx_gawk_lint() {
|
|
local file="${1}"
|
|
echo |
|
|
gawk \
|
|
--posix \
|
|
--lint="fatal" \
|
|
--file "${file}" \
|
|
--assign action="lint" \
|
|
--assign target=""
|
|
}
|