git: 9front

ref: a05f1d6ea1a7f7c26f9e17ba41274081f2b9b7b3
dir: /sys/lib/plumb/fileaddr/

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