plan9-archive
/
echo9
Code
Issues
Pull Requests
Antique
Wiki
Insights
/
echo9
/
sys
/
lib
/
plumb
/
fileaddr
EC
echoline
bleh, still have to .keep some dirs.
3833b13
11 years ago
History
Code
Blame
3 lines · 88 B · Text
Raw
Download
Copy shown lines
addrelem='((#?[0-9]+)|(/[A-Za-z0-9_\^]+/?)|[.$])'
addr=:($addrelem([,;+\-]$addrelem)*)
addrelem='((#?[0-9]+)|(/[A-Za-z0-9_\^]+/?)|[.$])' addr=:($addrelem([,;+\-]$addrelem)*)