From 7724967285436662f12ad63e2b7dd557cf03c4a9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=2E=20Fernando=20S=C3=A1nchez?= <balkian@gmail.com>
Date: Tue, 21 Aug 2018 12:57:03 +0200
Subject: [PATCH] Add filter-edges

---
 bin/filter-edges.sh | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 bin/filter-edges.sh

diff --git a/bin/filter-edges.sh b/bin/filter-edges.sh
new file mode 100644
index 0000000..a9bd944
--- /dev/null
+++ b/bin/filter-edges.sh
@@ -0,0 +1,10 @@
+
+if [ "$#" -lt 2 ]
+then
+    echo "Find edge lines in a file that contain one of the users in a user list."
+    echo ""
+	  echo "Usage: $0 <file with edges> <file with the list of users>"
+	  exit 1
+fi
+
+pv -c -N 'read' "$1" |  grep -F -w -f "$2" |  pv -lc -N 'found'