shithub: front

ref: 33a0d0599932e4d7190b06a4fc94c0b9ef031d9a
dir: /sys/lib/plumb/fileaddr/

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