Thanks for putting up the proceedings.

The extension described in "a light-weight non-hierarchical filesystem 
navigation extension" paper sounds a bit like zsh's ** extension. In zsh a/**/b 
matches all existing paths with prefix a and suffix b, where a and b can be 
arbitrary subpaths. So for example
  wc sys/src/**/*.[ch]
To wc all .c and .h files under sys/src. Zsh added many more extensions to pick 
files but ** is the most useful one.

Reply via email to