Home Explore Help
Sign In
RISCI_ATOM
/
harvey
mirror of https://github.com/Harvey-OS/harvey.git
1
0
Fork 0
Files Issues 0 Wiki
Tree: b686ca4c9b
Branches Tags
harvey
/
sys
/
lib
/
plumb
/
fileaddr

fileaddr 88 B
History Raw

123 
  1. addrelem='((#?[0-9]+)|(/[A-Za-z0-9_\^]+/?)|[.$])'
    2. 

  2. addr=:($addrelem([,;+\-]$addrelem)*)
    3. 

  3.