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        ;;  | 
