fileaddr « plumb - plan9port - Plan 9 from User Space (with patches)

summary refs log tree commit diff stats

path: root/plumb/fileaddr

blob: 0f08dc3eac9a71ce6c409973dce96a78c6c889f0 (plain)

1
2
3

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