Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Use GlobSet instead of glob #212

Closed
Keats opened this issue Aug 23, 2017 · 4 comments
Closed

Use GlobSet instead of glob #212

Keats opened this issue Aug 23, 2017 · 4 comments
Labels
done

Comments

@Keats
Copy link
Owner

Keats commented Aug 23, 2017

So we can do more fancy globbing
@Keats
Copy link
Owner Author

Keats commented Nov 24, 2017

globset is not currently a replacement for glob though: rust-lang/glob#59

@Gilnaa
Copy link

Gilnaa commented Feb 23, 2018 •
edited
Loading

Have a look at globwalk

@Keats
Copy link
Owner Author

Keats commented Feb 24, 2018

That looks great but I believe it should be part of the globset crate no? The code is farily short and in the short thread above they are talking about moving the glob walk feature to globset at some point

@Gilnaa
Copy link

Gilnaa commented Feb 24, 2018

It started as a PR to globset

@Keats Keats mentioned this issue Feb 25, 2018
Closed
@Keats Keats mentioned this issue Sep 6, 2018
Closed
16 tasks
@Keats Keats added the done label Jan 4, 2019
@Keats Keats closed this as completed Dec 7, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
done
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@Keats @Gilnaa