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

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