Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
a filesystem plugin that lets to filter folder paths #164
suppose i consult for company A and company B
i don't want A to see the data for B
so before heading over to A, i configure my filesystem to only show those directory paths that contain information for "A", maybe by a string filter, or a tag or something
@sordina says maybe think of it like a traversal in the lens sense; we only keep the paths that match some condition.
not sure at what level to implement this.
maybe useful related things: