From 4e589fadf37fe0c599c847b93ce6378bbe30f757 Mon Sep 17 00:00:00 2001
From: vapniks <vapniks@yahoo.com>
Date: Sat, 30 Nov 2019 14:17:34 +0000
Subject: [PATCH] mlr: update page (#3623)

---
 pages/common/mlr.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/pages/common/mlr.md b/pages/common/mlr.md
index e571955583..30a35db908 100644
--- a/pages/common/mlr.md
+++ b/pages/common/mlr.md
@@ -26,3 +26,7 @@
 - Receive JSON and format the output as vertical JSON:
 
 `echo '{"hello":"world", "foo":"bar"}' | mlr --ijson --ojson --jvstack cat`
+
+- Filter lines of a compressed CSV file treating numbers as strings:
+
+`mlr --prepipe 'gunzip' --csv filter -S '${{fieldName}} =~ "{{regexp}}"' {{example.csv.gz}}`