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.

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

Add wild card support for live filtering #10

Closed
Oliver-Loeffler opened this issue Mar 14, 2018 · 1 comment
Closed

Add wild card support for live filtering #10

Oliver-Loeffler opened this issue Mar 14, 2018 · 1 comment
Assignees
Milestone

Comments

@Oliver-Loeffler
Copy link
Owner

Oliver-Loeffler commented Mar 14, 2018

There was a request to use wild cards for file name filtering.

Wild cards asked for

  • '%' and '*' both indicate any string
  • ? should indicate any character or number
  • a wild card before and after the filter term basically should map to 'contains'
  • a trailing wild card should map to 'startsWith'
  • a leading wild card should map to 'endsWith'
  • Wild card filtering should be case insensitive

Wild card support shall be implemented guided by tests.

@Oliver-Loeffler Oliver-Loeffler self-assigned this Mar 14, 2018
@Oliver-Loeffler Oliver-Loeffler modified the milestones: 0.4.0, 0.5.0 Apr 7, 2019
@Oliver-Loeffler Oliver-Loeffler modified the milestones: 0.0.9, 0.0.10 Feb 5, 2022
@Oliver-Loeffler
Copy link
Owner Author

Filtering using % has not been added as this is a valid file name character. Hence only wildcard usage with * has been implemented. First release version with this functionality is 0.0.9. Closed with 4c5b2f6.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant