From d2d8e85effc5a8584856292feeb41a065b1bb33e Mon Sep 17 00:00:00 2001 From: chaos Date: Sun, 10 Nov 2024 16:25:51 +0000 Subject: [PATCH] update --- tool/lib/JSONLib.jq | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tool/lib/JSONLib.jq b/tool/lib/JSONLib.jq index 2d151c4..d1beb96 100644 --- a/tool/lib/JSONLib.jq +++ b/tool/lib/JSONLib.jq @@ -217,7 +217,7 @@ def _encodeJSONValueColourPretty($indent; $currentDepth): def encodeJSON($withColour; $indent): - if ($withColour | not) and ($indent == 0) then + if ($withColour == false) and ($indent == 0) then tojson else if $withColour then