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

Re-add zsh types #250

Merged
merged 1 commit into from
Nov 25, 2016
Merged

Re-add zsh types #250

merged 1 commit into from
Nov 25, 2016

Conversation

SimenB
Copy link
Contributor

@SimenB SimenB commented Nov 25, 2016

Seems like #197 got lost in #202

I added the missing .zlogout, and also search the ones without a leading . (which should be in /etc). Is there syntax for making a char optional (like ? in regex)?
The entries are sorted in the order they're read by zsh, with the addition of a *.zsh at the end

Seems like #197 got lost in #202
@BurntSushi BurntSushi merged commit b286fdc into BurntSushi:master Nov 25, 2016
@BurntSushi
Copy link
Owner

Oh interesting! Not sure how they got lost, sorry about that!

In globs, I don't think there is an equivalent to ? from regexes. You need to use some other syntax like {foo,bar}. ... But the way you wrote it here is better because it's easier for the glob match optimizer to see the literals. :-)

@SimenB SimenB deleted the zsh-types branch November 25, 2016 13:48
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.

2 participants