diff options
-rwxr-xr-x | services/lib/filter | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/services/lib/filter b/services/lib/filter index 93853895..f69a5b0d 100755 --- a/services/lib/filter +++ b/services/lib/filter @@ -35,16 +35,16 @@ op1() { # op2 SCHEMA OP RHS op2() { case "$2" in - ==) + ==|is) xargs grep -H "^$1:$3$" \ | cut -d: -f1 ;; - !=) + !=|isnt) xargs grep -H "^$1:" \ | grep -v ":$1:$3" \ | cut -d: -f1 ;; - ~=) + contains) xargs grep -H "^$1:.*$3.*$" \ | cut -d: -f1 ;; |