git: 9front

ref: 871f4f9f9eb77e97a3f4b91d577dfffd6ef95fa7
dir: /sys/lib/plumb/fileaddr/

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