diff options
| author | rsc <devnull@localhost> | 2003-11-23 18:30:04 +0000 |
|---|---|---|
| committer | rsc <devnull@localhost> | 2003-11-23 18:30:04 +0000 |
| commit | e70f30508317d83b3f65704229c198aba2b10730 (patch) | |
| tree | f669c0b02fc3e1028c1b7fd8f3118895f8d9487e /plumb/fileaddr | |
| parent | 1379cecf675b52e268cf913699301b027ec7f816 (diff) | |
| download | plan9port-e70f30508317d83b3f65704229c198aba2b10730.tar.gz plan9port-e70f30508317d83b3f65704229c198aba2b10730.tar.bz2 plan9port-e70f30508317d83b3f65704229c198aba2b10730.zip | |
add plumbing files.
Diffstat (limited to 'plumb/fileaddr')
| -rw-r--r-- | plumb/fileaddr | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/plumb/fileaddr b/plumb/fileaddr new file mode 100644 index 00000000..0f08dc3e --- /dev/null +++ b/plumb/fileaddr @@ -0,0 +1,3 @@ +addrelem='((#?[0-9]+)|(/[A-Za-z0-9_\^]+/?)|[.$])' +addr=:($addrelem([,;+\-]$addrelem)*) + |