Skip to content

Get rid of glob and support more extglob stuff - #973

Merged
HalFrgrd merged 4 commits into
masterfrom
ext_glob
Aug 30, 2026
Merged

Get rid of glob and support more extglob stuff#973
HalFrgrd merged 4 commits into
masterfrom
ext_glob

Conversation

@HalFrgrd

Copy link
Copy Markdown
Owner

This PR drastically improves the tab completion globbing.

Comment thread src/globbing.rs Outdated
Comment thread src/globbing.rs
Comment thread src/globbing.rs Outdated
@HalFrgrd
HalFrgrd merged commit 2c1740e into master Aug 30, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant