extract-iris.sh

#! /bin/sh

# Extract IRIs from rdf files passed on stdin. Actually just returns
# all quoted strings.

set -eu

grep -P -o '".*"' | sed 's/"//g'