1 files changed, 3 insertions, 0 deletions
diff --git a/plumb/fileaddr b/plumb/fileaddr
new file mode 100644
index 00000000..0f08dc3e
--- /dev/null
+++ b/plumb/fileaddr
@@ -0,0 +1,3 @@
+addrelem='((#?[0-9]+)|(/[A-Za-z0-9_\^]+/?)|[.$])'
+addr=:($addrelem([,;+\-]$addrelem)*)
+