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