From dc20cfcc4fa7f7806aa248a8df8535de78cd4c29 Mon Sep 17 00:00:00 2001 From: Remco Haszing Date: Mon, 3 Jun 2019 20:27:35 +0200 Subject: [PATCH] mark .config/git/config as properties file MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Git suppots the XDG base directory standard for its global configuration file. This defaults to ~/.config/git/config. Now VSCode also highlights this file properly as long as it’s in the default location. --- extensions/ini/package.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extensions/ini/package.json b/extensions/ini/package.json index abe1dbecc65..aa679eb886d 100644 --- a/extensions/ini/package.json +++ b/extensions/ini/package.json @@ -19,7 +19,7 @@ "id": "properties", "extensions": [ ".properties", ".cfg", ".conf", ".desktop", ".directory" ], "filenames": [ ".gitattributes", ".gitconfig", "gitconfig", ".editorconfig" ], - "filenamePatterns": [ "**/.git/config" ], + "filenamePatterns": [ "**/.config/git/config", "**/.git/config" ], "aliases": [ "Properties", "properties" ], "configuration": "./properties.language-configuration.json" }],