jehanne/sys/lib/plumb/fileaddr

4 lines
88 B
Plaintext

addrelem='((#?[0-9]+)|(/[A-Za-z0-9_\^]+/?)|[.$])'
addr=:($addrelem([,;+\-]$addrelem)*)