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

twocolonaddr = :([0-9]+)[:.]([0-9]+)