Skip to content

Fix unescaped backslashes and expand git-config filename pattern to include */git/config#4025

Open
injust wants to merge 5 commits intomicro-editor:masterfrom
injust:patch-1
Open

Fix unescaped backslashes and expand git-config filename pattern to include */git/config#4025
injust wants to merge 5 commits intomicro-editor:masterfrom
injust:patch-1

Conversation

@injust
Copy link
Contributor

@injust injust commented Feb 26, 2026

micro currently doesn't highlight ~/.config/git/config because the filename pattern requires the directory to be named .git/ (with a dot).

Related to #3962

Also fix some unescaped backslashes, see discussion below.

@injust injust changed the title Expand git-config filename pattern to include foo/git/config Expand git-config filename pattern to include */git/config Feb 26, 2026
Copy link
Member

@JoeKar JoeKar left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@Andriamanitra
Do you see something I didn't?

@injust injust changed the title Expand git-config filename pattern to include */git/config Fix unescaped backslashes and expand git-config filename pattern to include */git/config Mar 8, 2026
Co-authored-by: Mikko <Andriamanitra@users.noreply.github.com>
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.

4 participants