Skip to content

Document glob alternatives syntax with {}#1816

Closed
ilyagr wants to merge 1 commit intoBurntSushi:masterfrom
ilyagr:patch-1
Closed

Document glob alternatives syntax with {}#1816
ilyagr wants to merge 1 commit intoBurntSushi:masterfrom
ilyagr:patch-1

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.

2 participants