git: 9front

ref: 3debe91f3d1dd8a49ec2de5927e46e28ae9e7aad
dir: /sys/lib/plumb/fileaddr/

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