Move filter() to core and simplify

include/core.sh

@@ -40,6 +40,13 @@ die() {
     exit 9
 }
 
+filter() {
+    debug "\$*=$*"
+    while read item;
+    do $* $item && echo "$item"; done
+}
+
+
 usage_is() {
     #
     # Echo out usage patterns and exit 1

include/recon.sh

@@ -24,22 +24,6 @@ cat_uri() {
     wget -q $1 -O - || echo "ERROR: $?" >&2
 }
 
-filter() {
-    local silent
-    while true; do case $1 in
-        -s|--silent) silent=true; shift ;;
-        *) break ;;
-    esac done
-    debug "\$*=$*"
-    while read item;
-    do
-        if $* $item;
-        then
-            echo "$item"
-        fi
-    done
-}
-
 pids_matching() {
     local all_pids=""
     local pids=""