From 8a37db0bb271efb8948c615beef8ff7583109ed5 Mon Sep 17 00:00:00 2001 From: eater <=@eater.me> Date: Tue, 14 Apr 2020 13:07:54 +0200 Subject: xlint: ignore comments Closes: #177 [via git-merge-pr] --- xlint | 1 + 1 file changed, 1 insertion(+) diff --git a/xlint b/xlint index 2ba4bd8..d611d4a 100755 --- a/xlint +++ b/xlint @@ -6,6 +6,7 @@ export LC_ALL=C scan() { local rx="$1" msg="$2" grep -P -Hn -e "$rx" "$template" | + grep -v -P -e "[^:]*:[^:]*:\s*#" | sed "s/^\([^:]*:[^:]*:\)\(.*\)/\1 $msg/" } -- cgit 1.4.1