aboutsummaryrefslogtreecommitdiff
path: root/plumb/fileaddr
blob: 0f08dc3eac9a71ce6c409973dce96a78c6c889f0 (plain)
1
2
3
addrelem='((#?[0-9]+)|(/[A-Za-z0-9_\^]+/?)|[.$])'
addr=:($addrelem([,;+\-]$addrelem)*)