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

Document glob alternatives syntax with {} #1816

Closed
wants to merge 1 commit into from

Conversation

ilyagr
Copy link
Contributor

@ilyagr ilyagr commented Mar 9, 2021

This syntax does not exist in git, so it is not documented in man gitignore. There is
a question of whether it should exist, but as long as it does, it should be documented
somewhere.

See also:
#1221
#1368


Update 1: I'm especially interested in documenting the lack of empty alternatives, since the reason I
started looking for documentation is that I couldn't figure out whether -g .git{,/*} should
work.

Update 2: I like this syntax, but I'd prefer it if it was only valid in the command line (as opposed to ignore files), FWIW. That is, as long as having a slightly different syntax in the command line doesn't introduce too much complexity.

This syntax does not exist in `git`, so it is not documented in `man gitignore`. There is
a question of whether it *should* exist, but as long as it does, it should be documented
somewhere.

See also:
BurntSushi#1221
BurntSushi#1368
@BurntSushi BurntSushi added the rollup A PR that has been merged with many others in a rollup. label May 30, 2021
BurntSushi pushed a commit that referenced this pull request May 30, 2021
This syntax does not exist in `git`, so it is not documented in `man
gitignore`. There is a question of whether it *should* exist, but as
long as it does, it should be documented somewhere.

See also:
#1221
#1368

Closes #1816
BurntSushi pushed a commit that referenced this pull request Jun 1, 2021
This syntax does not exist in `git`, so it is not documented in `man
gitignore`. There is a question of whether it *should* exist, but as
long as it does, it should be documented somewhere.

See also:
#1221
#1368

Closes #1816
@BurntSushi BurntSushi closed this in 51d2db7 Jun 1, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
rollup A PR that has been merged with many others in a rollup.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants