fileaddr « plumb « lib « sys - plan9front.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/sys/lib/plumb/fileaddr

blob: 0f08dc3eac9a71ce6c409973dce96a78c6c889f0 (plain)

1
2
3

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