From 38c5eb58b8b54625d46fbdc9c62e2bf13fafe5c7 Mon Sep 17 00:00:00 2001 From: Marc Beninca Date: Sun, 3 Aug 2025 00:13:39 +0200 Subject: [PATCH] lint --- sh/core/code.awk | 2 ++ sh/lint/gawk.sh | 3 ++- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/sh/core/code.awk b/sh/core/code.awk index 2fdab85..63b8361 100644 --- a/sh/core/code.awk +++ b/sh/core/code.awk @@ -132,7 +132,9 @@ RE_SHEBANG = RE_BEGIN "#!" RE_SPACES RE_ANY RE_END RE_TASK = RE_BEGIN RE_SPACES "#" RE_SPACES RE_TSK RE_ANY RE_END re["variable"] = RE_BEGIN RE_VAR RE_SET RE_END +doc = "" line = 0 +module = "" } diff --git a/sh/lint/gawk.sh b/sh/lint/gawk.sh index 67aad01..bde9f5c 100644 --- a/sh/lint/gawk.sh +++ b/sh/lint/gawk.sh @@ -8,5 +8,6 @@ rwx_gawk_lint() { --posix \ --lint="fatal" \ --file "${file}" \ - --assign action="lint" + --assign action="lint" \ + --assign target="" }